Theorem completedRiemannZeta₀_zero

Modification history

2026-06-10 16:01
Mathlib/NumberTheory/Harmonic/ZetaAsymp.lean
feat(ZetaAsymp): derivative of RiemannZeta at 0 (#40316) …
Added completedRiemannZeta₀_zeroView on Github →