Theorem Finset.Colex.cons_lt_cons

Modification history