Theorem Finset.prod_induction

Modification history