OAI/NumberTheory/CubicMoment/Estimates/ShrinkingVariance.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform small-B remainder for a fixed cutoff narrowed at any polynomial scale.

  1. lemma OAI.CubicFirstMoment.affineSchwartzProfile_compact line 11
  2. theorem OAI.CubicFirstMoment.smallB_shrinking_variance_remainder line 19