Theorem Finsupp.sigma_sum

Modification history