Theorem Finset.Colex.erase_le_erase

Modification history