mathlib
b45acc9c - feat(combinatorics/colex): top of the colex ordering on finite types (#8379)

Commit

4 years ago

feat(combinatorics/colex): top of the colex ordering on finite types (#8379)

Author

b-mehta

b-mehta

Parents

Loading