OAI/Probability/SLE/Geometry/ActualCrosscutStraightening.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The relative half-plane crosscut theorem from the specified-boundary Schönflies extension.

  1. theorem OAI.SLEExactGauge.actual_halfPlaneCrosscutStraightening line 17