OAI/NumberTheory/CubicMoment/Theta/CubicThetaRadialPoleBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual radial pole has the same rapid height decay, up to a fixed constant. This uses only the proved nonvanishing of the arithmetic scalar.

  1. theorem OAI.CubicFirstMoment.UniformLogWeights.cubicTheta_completed_pole_bound line 13