Theorem Finset.prod_Ioo_mul_right

Modification history