Theorem Multiset.cons_le_cons

Modification history