Theorem Multiset.filter_filter

Modification history