OAI/NumberTheory/CubicMoment/Estimates/ResidueHarmonicTransform.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The polynomial Gaussian theta transformation before the final normalization by the angular radial weight.

  1. lemma OAI.CubicFirstMoment.residueHarmonic_transform line 11
  2. lemma OAI.CubicFirstMoment.residueAntiHarmonic_transform line 53