Theorem ZetaAsymptotics.tendsto_riemannZeta_sub_one_div_nhds_right

Modification history

2024-04-18 08:21
Mathlib/NumberTheory/Harmonic/ZetaAsymp.lean
feat(NumberTheory/Harmonic): asymptotics of Riemann zeta as s → 1 (#11794) …
Added ZetaAsymptotics.tendsto_riemannZeta_sub_one_div_nhds_rightView on Github →