OAI/NumberTheory/CubicMoment/Theta/CubicThetaFunctionEnergyTransport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact transformation and vertical formulas for the hyperbolic energy of scalar coordinate functions.

  1. lemma OAI.CubicFirstMoment.cubicThetaFunctionEnergy_mobius line 11
  2. lemma OAI.CubicFirstMoment.cubicThetaFunctionEnergy_vertical line 30