OAI/NumberTheory/CubicMoment/Theta/CubicThetaHeatScaling.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A height dilation turns the weighted heat coefficient into one Mellin kernel, independent of the spectral parameter.

  1. def OAI.CubicFirstMoment.cubicThetaLinearHeat line 12
  2. lemma OAI.CubicFirstMoment.cubicThetaLinearHeat_scale line 15
  3. lemma OAI.CubicFirstMoment.cubicThetaHeat_height_dilation line 29