Theorem Finset.prod_Ico_mul_eq_prod_Icc
Modification history
2025-05-04 00:34
Mathlib/Algebra/BigOperators/Intervals.lean
chore: Merge the two series of lemmas on big operators in locally finite orders (#17404) …
Modified Finset.prod_Ico_mul_eq_prod_IccView on Github →