Theorem Finsupp.inner_sum

Modification history