OAI/NumberTheory/CubicMoment/Theta/CubicThetaKloostermanPeriodization.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Exact periodization of the off-diagonal row kernel over its finite arithmetic residue classes. Absolute convergence comes from the actual compact smooth inversion kernel.

  1. def OAI.CubicFirstMoment.cubicThetaKloostermanRow line 13
  2. lemma OAI.CubicFirstMoment.cubicThetaKloostermanRow_summable line 18
  3. theorem OAI.CubicFirstMoment.cubicThetaKloostermanRow_periodized line 38