Theorem Multiset.filter_union

Modification history