Theorem Multiset.erase_le_iff_le_cons

Modification history