Theorem Multiset.cons_eq_cons

Modification history