OAI/NumberTheory/Ostmann/ZeroDensity/CharacterHeightZeroCount.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A polynomial bound for the finite set of forbidden contour ordinates

  1. theorem OAI.Ostmann.criticalZerosUpTo_card_bound line 12
  2. theorem OAI.Ostmann.criticalZerosUpTo_card_polynomial line 29