feat(combinatorics/colex): order is decidable (#8378)
feat(combinatorics/colex): order is decidable (#8378)

Show that the colex ordering is decidable.





leanprover-community/mathlib,leanprover-community/mathlib