Theorem Finset.prod_Iio_mul_right

Modification history