OAI/Probability/SLE/Geometry/SimpleSlitRiemann.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Conformal charts for arbitrary finite simple attached arcs, using the Riemann mapping theorem and connectedness of the complement.

  1. theorem OAI.SLEExactGauge.simple_arc_halfPlane_simplyConnected line 13
  2. theorem OAI.SLEExactGauge.simple_arc_exists_disk_chart line 24