Theorem Finset.right_mul_prod_Iio

Modification history