Code

feat: shortlex order on lists#20310

Code

Open

hannahfechtner wants to merge 34 commits intomasterleanprover-community/mathlib4:masterfrom hannahfechtner_shortlexleanprover-community/mathlib4:hannahfechtner_shortlexCopy head branch name to clipboard

+228

Commits

Commits on Dec 29, 2024

• add shortlex

  hannahfechtner

  committed
  0a62a10

  Copy full SHA for 0a62a10

• extra file

  hannahfechtner

  committed
  6888e32

  Copy full SHA for 6888e32

• mk_all

  hannahfechtner

  committed
  28b57ad

  Copy full SHA for 28b57ad

• nonsense with capitalization

  hannahfechtner

  committed
  cb7c517

  Copy full SHA for cb7c517

• end namespace

  hannahfechtner

  committed
  1b5d4d9

  Copy full SHA for 1b5d4d9

• rcases triple

  hannahfechtner

  committed
  81d94f4

  Copy full SHA for 81d94f4

Commits on Dec 30, 2024

• renaming and simp

  hannahfechtner

  committed
  d97da73

  Copy full SHA for d97da73

• iff version

  hannahfechtner

  committed
  a5b352c

  Copy full SHA for a5b352c

Commits on Dec 31, 2024

• remove double naming

  Show description for adfbefd
  

  hannahfechtner

  and

  eric-wieser

  authored
  adfbefd

  Copy full SHA for adfbefd

• naming iff

  Show description for 8489a89
  

  hannahfechtner

  and

  eric-wieser

  authored
  8489a89

  Copy full SHA for 8489a89

• variables in wf

  Show description for df4f8c0
  

  hannahfechtner

  and

  eric-wieser

  authored
  df4f8c0

  Copy full SHA for df4f8c0

• identation

  hannahfechtner

  committed
  047141a

  Copy full SHA for 047141a

• slashes

  hannahfechtner

  committed
  a68a46f

  Copy full SHA for a68a46f

Commits on Jan 20, 2025

• space

  Show description for 8946f04
  

  hannahfechtner

  and

  vihdzp

  authored
  8946f04

  Copy full SHA for 8946f04

• two lines to one

  Show description for a78373f
  

  hannahfechtner

  and

  vihdzp

  authored
  a78373f

  Copy full SHA for a78373f

• nicer

  Show description for e3f2fe7
  

  hannahfechtner

  and

  vihdzp

  authored
  e3f2fe7

  Copy full SHA for e3f2fe7

• accessible naming

  Show description for cd80f58
  

  hannahfechtner

  and

  vihdzp

  authored
  cd80f58

  Copy full SHA for cd80f58

• rename throughout

  hannahfechtner

  authored
  9154739

  Copy full SHA for 9154739

Commits on Jan 22, 2025

• minor fixes

  hannahfechtner

  committed
  33b2136

  Copy full SHA for 33b2136

• new shortlex definition

  hannahfechtner

  committed
  3a4b73d

  Copy full SHA for 3a4b73d

• suffices

  hannahfechtner

  committed
  59e8726

  Copy full SHA for 59e8726

Commits on Jan 23, 2025

• Merge branch 'master' into hannahfechtner_shortlex

  Show description for 2537b98
  hannahfechtner

  committed
  2537b98

  Copy full SHA for 2537b98

Commits on Feb 7, 2025

• invimage and prod lemmas

  hannahfechtner

  committed
  95b88aa

  Copy full SHA for 95b88aa

• reorder variables

  hannahfechtner

  committed
  018b842

  Copy full SHA for 018b842

Commits on Feb 20, 2025

• shorter lemma using Prod

  hannahfechtner

  committed
  a45871b

  Copy full SHA for a45871b

• another simpler proof

  hannahfechtner

  committed
  30608c5

  Copy full SHA for 30608c5

• move InvImage

  hannahfechtner

  committed
  b972fed

  Copy full SHA for b972fed

• hopefully better names

  hannahfechtner

  committed
  b102a7d

  Copy full SHA for b102a7d

• IsTrichotmous version for InvImage

  hannahfechtner

  committed
  5e65885

  Copy full SHA for 5e65885

• correct trichotomous

  hannahfechtner

  committed
  d984733

  Copy full SHA for d984733

• remove deprecated

  hannahfechtner

  committed
  e340454

  Copy full SHA for e340454

• Merge branch 'master' into hannahfechtner_shortlex

  hannahfechtner

  authored
  e64bec8

  Copy full SHA for e64bec8

• linespace

  Show description for be50e5e
  

  hannahfechtner

  and

  github-actions[bot]

  authored
  be50e5e

  Copy full SHA for be50e5e

Commits on Feb 21, 2025

• add newline

  Show description for ec90975
  

  hannahfechtner

  and

  vihdzp

  authored
  ec90975

  Copy full SHA for ec90975