Theorem Multiset.sub_add_inter

Modification history