Theorem Finset.prod_Icc_eq_prod_Ico_mul

Modification history

2025-11-04 09:42
Mathlib/Algebra/BigOperators/Group/Finset/Interval.lean
feat: Ixx summation filters (#30380) …
Added Finset.prod_Icc_eq_prod_Ico_mulView on Github →