OAI/Probability/SLE/Loewner/SlitBoundaryTip.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The static inverse boundary extension takes the actual driver to the prescribed tip.

  1. theorem OAI.SLEExactGauge.exists_initial_inverse_boundary_tip line 13