Theorem Multiset.union_add_distrib

Modification history