Theorem Multiset.mem_filter

Modification history