Theorem Multiset.insert_eq_cons

Modification history