Theorem DirichletCharacter.LFunctionTrivChar_isBigO_near_one_horizontal

Modification history

2024-11-18 07:41
Mathlib/NumberTheory/LSeries/Nonvanishing.lean
feat(NumberTheory/LSeries/Nonvanishing): new file (#19043) …
Added DirichletCharacter.LFunctionTrivChar_isBigO_near_one_horizontalView on Github →