OAI/Probability/SLE/Angle/AnglePolynomialLogGenerator.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact cancellation for the Green-weighted angular eigenfunctions in the original Brownian driver and actual capacity-two coordinates.

  1. lemma OAI.SLEExactGauge.logPolynomialDensity_generator line 13
  2. lemma OAI.SLEExactGauge.logEigenDensity_generator_zero line 32