OAI/NumberTheory/CubicMoment/Theta/CubicThetaKloostermanIntegral.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact integration of the periodized row: its finite Kloosterman sum multiplies one common archimedean inversion integral.

  1. lemma OAI.CubicFirstMoment.cubicThetaGramKernel_period_integrable line 13
  2. lemma OAI.CubicFirstMoment.cubicThetaGramKernel_period_integral line 40
  3. lemma OAI.CubicFirstMoment.cubicThetaKloostermanRow_integrable line 63
  4. theorem OAI.CubicFirstMoment.cubicThetaKloostermanRow_integral line 77