Theorem Finset.prod_Icc_succ_eq_mul_endpoints

Modification history

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