OAI/NumberTheory/CubicMoment/Theta/CubicThetaConstantSummability.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Absolute convergence of the original scattering coefficient already on Re(s)>4/3, obtained from its proved cube support.

  1. lemma OAI.CubicFirstMoment.cubicThetaConstantTermWeight_norm_summable line 10