OAI/NumberTheory/Ostmann/ZeroDensity/CharacterContourLogGrowth.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Polynomial logarithmic growth along the contour disks

  1. theorem OAI.Ostmann.character_contour_log_growth line 11