Theorem Dfinsupp.finset_sum_apply

Modification history