OAI/Probability/SLE/Loewner/TargetDensityBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact change-of-law density is supported on the physical center hit and bounded by its compensating exponential factor.

  1. lemma OAI.SLEExactGauge.Target.levelDensity_le_centerHit line 15