Theorem ZetaAsymptotics.continuousOn_termTSum

Modification history

2026-05-28 09:36

Mathlib/NumberTheory/Harmonic/ZetaAsymp.lean

chore(NumberTheory/Harmonic/ZetaAsymp): remove underscores in definitions (#39948) …

Added ZetaAsymptotics.continuousOn_termTSum View on Github →