Theorem Multiset.Nodup.le_nsmul_iff_le

Modification history