Theorem Finset.prod_Icc_of_even_eq_range

Modification history

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