OAI/NumberTheory/CubicMoment/Theta/CubicThetaFullMassResidue.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The exact residue of the full affine-row norm series.

  1. lemma OAI.CubicFirstMoment.cubicThetaRealGamma_continuousAt_two line 12
  2. lemma OAI.CubicFirstMoment.cubicThetaRealGamma_two line 24
  3. theorem OAI.CubicFirstMoment.cubicThetaFullHeightMass_residue line 27