Theorem Multiset.disjoint_union_left

Modification history