OAI/NumberTheory/CubicMoment/Theta/CubicThetaAngularPolynomialStrip.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Polynomial strip growth for the actual additive angular continuation, derived from its functional equation and absolute initial series.

  1. theorem OAI.CubicFirstMoment.cubicThetaAngularDirichletContinuation_polynomial_strip line 12