Theorem Finset.Colex.erase_lt_erase

Modification history