Theorem Finset.prod_Ico_mul_eq_prod_Ico_add_one

Modification history