OAI/Probability/SLE/Loewner/SlitChartClosingPath.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A small image semicircle can be closed by a small path outside the surviving domain. The closing path lies on the static slit and the real boundary.

  1. lemma OAI.SLEExactGauge.SimpleSlitChart.exists_small_inverse_closing_path line 13