Theorem Multiset.mem_filter_of_mem

Modification history