OAI/NumberTheory/Ostmann/ZeroDensity/GammaContourBounds.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Gamma logarithmic derivatives on the four contour lines

  1. theorem OAI.Ostmann.gamma_not_pole_of_re line 12
  2. theorem OAI.Ostmann.norm_inv_le_four_of_quarter_re line 23
  3. theorem OAI.Ostmann.gamma_logDeriv_contour_bound line 30