Theorem Finset.prod_Ioo_mul_eq_prod_Ioc

Modification history