OAI/NumberTheory/CubicMoment/Theta/CubicThetaScalarCuspVanishing.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Scalar cusp cutoffs vanish uniformly on each compact quotient set once their height scale is large enough.

  1. lemma OAI.CubicFirstMoment.cubicThetaScalarCuspQuotient_compact_zero line 13
  2. lemma OAI.CubicFirstMoment.cubicThetaCompactCuspCutoff_compact_one line 30
  3. lemma OAI.CubicFirstMoment.cubicThetaCompactCuspCutoff_local_one line 37