Theorem Finset.prod_sum_eq_prod_toLeft_mul_prod_toRight

Modification history