Theorem Multiset.filter_add_not

Modification history