Theorem Multiset.cons_le_cons_iff

Modification history