OAI/NumberTheory/Ostmann/ZeroDensity/CharacterContourHeights.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Heights at which the character contour crosses no zero

  1. theorem OAI.Ostmann.PrimitiveComplexCharacter.exists_contour_height line 12