mathlib

6ac3059b - feat(combinatorics/colex): golf and generalise (#8301)

feat(combinatorics/colex): golf and generalise (#8301) Miscellaneous fixes about colex: Gives `le` versions of some `lt` lemmas, fixes a TODO, restores some names etc.