Theorem Finset.Colex.erase_le_erase_min'

Modification history