Theorem Finsupp.smul_sum

Modification history