Theorem Multiset.sub_eq_fold_erase

Modification history