OAI/NumberTheory/CubicMoment/Theta/CubicThetaPoleRadialScaling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Simultaneous scaling of the frequency and radial test at the cubic pole.

  1. def OAI.CubicFirstMoment.cubicThetaPoleRadialWeightIntegral line 12
  2. lemma OAI.CubicFirstMoment.cubicThetaPoleRadialTest_weight line 16
  3. lemma OAI.CubicFirstMoment.cubicThetaPoleRadialWeightIntegral_scale line 26
  4. theorem OAI.CubicFirstMoment.cubicThetaPoleRadialTest_scale line 65