OAI/NumberTheory/CubicMoment/Theta/CubicThetaAngularFiniteOrder.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite vertical order follows from bounded completed Mellin tails and the already proved reciprocal-Gamma estimate.

  1. theorem OAI.CubicFirstMoment.cubicThetaAngularDirichletContinuation_finiteOrder line 13