OAI/NumberTheory/CubicMoment/Theta/CubicThetaRegularHeatPole.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The scalar row Mellin transform has the exact pole supplied by the four-dimensional affine lattice.

  1. def OAI.CubicFirstMoment.cubicThetaRegularHeatMass line 14
  2. lemma OAI.CubicFirstMoment.cubicThetaRegularHeatMass_tendsto line 18
  3. lemma OAI.CubicFirstMoment.cubicThetaHeatPole_integral line 23
  4. lemma OAI.CubicFirstMoment.cubicThetaRegularHeatLow_integral_eq line 30
  5. theorem OAI.CubicFirstMoment.cubicThetaFullHeightMass_pole_identity line 59