Theorem ZetaAsymptotics.tendsto_riemannZeta_sub_one_div_Gammaℝ

Modification history

2024-06-04 08:01
Mathlib/NumberTheory/Harmonic/ZetaAsymp.lean
feat(NumberTheory/Harmonic): explicit formula for `ζ 1` (#13434) …
Added ZetaAsymptotics.tendsto_riemannZeta_sub_one_div_GammaℝView on Github →