Theorem Multiset.cons_union_distrib

Modification history