Theorem Finset.Colex.insert_le_insert

Modification history