Theorem Multiset.support_sum_eq

Modification history