Theorem Finset.Colex.ofColex_top

Modification history