Theorem sum_mul_eq_sub_integral_mul₁

Modification history

2025-12-27 08:07
Mathlib/NumberTheory/AbelSummation.lean
feat(NumberTheory.Chebyshev): prove connection between prime counting and theta (#32281) …
Added sum_mul_eq_sub_integral_mul₁View on Github →