OAI/Probability/SLE/Loewner/HalfPlaneFiniteExit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite nonzero real limits of conformal half-plane maps at actual finite physical Brownian exits.

  1. theorem OAI.SLEExactGauge.halfPlane_finite_exit_limit line 15