Theorem Multiset.subset_iff

Modification history