Theorem Multiset.filter_subset

Modification history