OAI/NumberTheory/CubicMoment/Theta/CubicThetaZeroWindow.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Compact radial windows supported above height two retain the exact constant-mode continuation. They will test the high annular forcing.

  1. theorem OAI.CubicFirstMoment.cubicThetaZeroRadialWindow_mellin line 12
  2. lemma OAI.CubicFirstMoment.cubicThetaZeroRadialWindow_entire line 46
  3. theorem OAI.CubicFirstMoment.cubicThetaCuspZeroWindow_continued line 66
  4. theorem OAI.CubicFirstMoment.cubicThetaSpectralResidue_window_zero_closed line 87
  5. theorem OAI.CubicFirstMoment.cubicThetaSpectralResidue_window_zero line 116