Theorem Finset.prod_Ioo_mul_eq_prod_Ico

Modification history