OAI/Probability/SLE/Geometry/NormalizedReflectedSlit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The reflected-slit Riemann map normalized at infinity, including its exact upper-side image. This remains a static conformal chart.

  1. theorem OAI.SLEExactGauge.reflected_slit_exists_normalized_chart line 14