Theorem Multiset.le_iff_exists_add

Modification history