Theorem Finset.sum_prod_piFinset

Modification history