OAI/NumberTheory/CubicMoment/Theta/CubicThetaComplexRadialTest.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Compact radial tests separate the Fourier heat kernel at every parameter in Re(s)>1. The test may depend on the parameter.

  1. theorem OAI.CubicFirstMoment.cubicThetaComplexRadialTest_nonzero line 14