Theorem Finset.prod_sumElim

Modification history