Theorem Finset.prod_sum

Modification history