Theorem sum_mul_eq_sub_integral_mul

Modification history

2024-12-01 09:59
Mathlib/NumberTheory/AbelSummation.lean
feat(NumberTheory): Abel summation (#19289) …
Added sum_mul_eq_sub_integral_mulView on Github →