Theorem Finsupp.mapRange_finset_sum

Modification history