Theorem Multiset.lt_iff_cons_le

Modification history