OAI/NumberTheory/CubicMoment/Theta/CubicThetaFourierRadialScaling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Height dilation for genuine nonzero-frequency cusp observations.

  1. lemma OAI.CubicFirstMoment.cubicThetaRadialIntegral_divide line 12
  2. lemma OAI.CubicFirstMoment.cubicThetaRadialIntegral_divide_integrable line 19
  3. lemma OAI.CubicFirstMoment.cubicThetaSectionFourier_divide_integrable line 28
  4. theorem OAI.CubicFirstMoment.cubicThetaSectionFourier_divide_pairing line 43