Theorem Finset.mul_prod_Ico_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.mul_prod_Ico_eq_prod_IccView on Github →