Theorem Finset.Colex.cons_le_cons

Modification history