Theorem Finset.prod_Ico_div

Modification history

2025-04-09 03:56
Mathlib/Algebra/BigOperators/Intervals.lean
feat: IMO 2015 Q6 (#23038)
Added Finset.prod_Ico_divView on Github →