OAI/NumberTheory/CubicMoment/Theta/CubicThetaDualPhase.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The exact angular phase of the constructed dual formula.

  1. lemma OAI.CubicFirstMoment.cubicTheta_theta_lambda line 9
  2. lemma OAI.CubicFirstMoment.cubicTheta_root_ratio line 18
  3. lemma OAI.CubicFirstMoment.cubicTheta_root_phase line 36