Theorem Multiset.add_union_distrib

Modification history