OAI/Probability/SLE/Geometry/BoundaryRadialDistance.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A boundary-start reverse trajectory is the uniform limit of the positive-height trajectories on each finite time interval.

  1. theorem OAI.SLEExactGauge.exists_boundary_radial_distance_constant line 14