Theorem Multiset.add_eq_union_iff_disjoint

Modification history