Theorem Multiset.le_iff_subset

Modification history