Def Finset.Colex

Modification history

2023-11-24 20:37

Mathlib/Combinatorics/Colex.lean

refactor: New `Colex` API (#7715) …

Deleted Finset.Colex View on Github →

2023-02-04 10:30

Mathlib/Combinatorics/Colex.lean

feat: port Combinatorics.Colex (#1926)

Added Finset.Colex View on Github →