Theorem Multiset.add_inter_distrib

Modification history