OAI/NumberTheory/Ostmann/ZeroDensity/ZetaAbsoluteRightBound.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Absolute zeta logarithmic-derivative control on right vertical lines
- theorem
OAI.Ostmann.zeta_logDeriv_right_pole_boundline 12