OAI/NumberTheory/CubicMoment/Theta/CubicThetaRadialPolynomialStrip.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Polynomial bounds on every vertical strip after removing the single radial pole. Bounds for the meromorphic function follow away from it.

  1. theorem OAI.CubicFirstMoment.cubicThetaSelectedRadialRegularized_polynomial_strip line 12
  2. theorem OAI.CubicFirstMoment.cubicThetaSelectedRadialDirichlet_large_height line 73