Theorem Finset.mul_prod_Ioo_eq_prod_Ioc

Modification history