Theorem Finset.support_sum_subset

Modification history