Theorem Finset.sum_Ioc_by_parts

Modification history

2024-12-01 09:59
Mathlib/Algebra/BigOperators/Module.lean
feat(NumberTheory): Abel summation (#19289) …
Added Finset.sum_Ioc_by_partsView on Github →