OAI/NumberTheory/CubicMoment/Theta/CubicThetaDualScalar.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The numerical and Gauss factors in the constructed transform.

  1. lemma OAI.CubicFirstMoment.cubicThetaDualPrefactor_eq line 9
  2. lemma OAI.CubicFirstMoment.cubicThetaGauss_square line 20
  3. lemma OAI.CubicFirstMoment.cubicThetaDual_scalar line 26