Theorem Multiset.mem_inter

Modification history