OAI/Probability/SLE/Geometry/FiniteDensityAtRadiusState.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact density on a finite stopped past at a live radius state. The deeper finite-centered law has the original Green density there.

  1. theorem OAI.SLEExactGauge.exists_finiteDensity_at_radius_state line 16