OAI/Probability/SLE/Loewner/SlitChartBoundaryExtension.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Continuous finite boundary values of the normalized static slit inverse.

  1. lemma OAI.SLEExactGauge.SimpleSlitChart.finite_real_boundary_limit line 13
  2. theorem OAI.SLEExactGauge.SimpleSlitChart.exists_boundary_extension line 35