Theorem Multiset.card_erase_lt_of_mem

Modification history