Theorem Multiset.support_sum_subset

Modification history