Theorem List.support_sum_subset

Modification history