Theorem Finset.mul_prod_Ioo_eq_prod_Ico

Modification history