Theorem Multiset.disjoint_of_subset_left

Modification history