Theorem Finset.prod_eq_ite

Modification history