OAI/NumberTheory/CubicMoment/Theta/CubicThetaComplexDensity.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The complex-valued coordinate integral has the same literal hyperbolic density v^-3 as the real energy integral.

  1. lemma OAI.CubicFirstMoment.cubicThetaPointIntegral_complex_coordinates line 11
  2. lemma OAI.CubicFirstMoment.cubicThetaPointIntegral_complex_density line 18