`OAI/NumberTheory/Ostmann/Characters/CharacterLeftGrowth.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Exponential-type growth of the actual character L-function on the left strip

theorem OAI.Ostmann.character_L_left_growth line 12