Theorem Multiset.inter_add_sub_of_add_eq_add

Modification history