OAI/Probability/SLE/Angle/AngleLogGeneratorCoefficients.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The exact drift and variance coefficients after the Green change of law, in the paper's logarithmic conformal-radius clock.

  1. lemma OAI.SLEExactGauge.shifted_green_generator line 11
  2. lemma OAI.SLEExactGauge.logCosine_tilted_drift line 22
  3. lemma OAI.SLEExactGauge.logCosine_tilted_variance line 37