OAI/NumberTheory/CubicMoment/Theta/CubicThetaHeatStrip.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A fixed pair of real spectral parameters dominates every nonzero heat mode in the intervening strip.

  1. lemma OAI.CubicFirstMoment.cubicThetaDualHeat_norm_strip line 11
  2. lemma OAI.CubicFirstMoment.cubicThetaNonzeroHeat_mass_strip line 30