Structure Finset.Colex

Modification history

2025-10-01 13:25

Mathlib/Combinatorics/Colex.lean

feat: `Colex` type synonym (#29058) …

Deleted Finset.Colex View on Github →

2024-10-09 08:43

Mathlib/Combinatorics/Colex.lean

chore: adaptations for lean4#5542 (#17564) …

Modified Finset.Colex View on Github →

2023-11-24 20:37

Mathlib/Combinatorics/Colex.lean

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

Added Finset.Colex View on Github →