Commit 2021-07-20 16:22 6ac3059b
View on Github →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.
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.