OAI/Probability/SLE/Loewner/ReverseBoundaryCone.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A reverse trajectory starting at the driver enters a vertical cone. The squared coordinate removes the singularity at the initial point.

  1. theorem OAI.SLEExactGauge.reverse_boundary_cone_of_small_center line 13