mathlib3
9fa82b05 - feat(combinatorics/colex): order is decidable (#8378)

Commit

5 years ago

feat(combinatorics/colex): order is decidable (#8378) Show that the colex ordering is decidable.

Author

b-mehta

Parents