Theorem Finsupp.mul_sum

Modification history