Theorem Finset.Colex.insert_lt_insert

Modification history