Theorem Finset.prod_range_eq_mul_Ico

Modification history

2024-09-10 12:32
Mathlib/Algebra/BigOperators/Intervals.lean
feat(Lie/Derivation): general Leibniz rule for Lie derivatives (#16641) …
Added Finset.prod_range_eq_mul_IcoView on Github →