Theorem ZetaAsymptotics.term_tsum_one

Modification history

2024-06-04 08:01
Mathlib/NumberTheory/Harmonic/ZetaAsymp.lean
feat(NumberTheory/Harmonic): explicit formula for `ζ 1` (#13434) …
Modified ZetaAsymptotics.term_tsum_oneView on Github →
2024-04-18 08:21
Mathlib/NumberTheory/Harmonic/ZetaAsymp.lean
feat(NumberTheory/Harmonic): asymptotics of Riemann zeta as s → 1 (#11794) …
Added ZetaAsymptotics.term_tsum_oneView on Github →