Theorem Finset.left_mul_prod_Ioc

Modification history