Theorem Finset.right_mul_prod_Ico

Modification history