SimpleArcComplement.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Every point of the half-plane outside a simple attached arc lies in an unbounded complementary component.

theorem OAI.SLEExactGauge.simple_arc_halfPlane_component_unbounded line 13