Theorem Multiset.card_erase_eq_ite

Modification history