OAI/Probability/SLE/Loewner/SlitBoundaryFiber.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

No interval of real boundary parameters collapses to a single point under the continuous inverse slit chart.

  1. lemma OAI.SLEExactGauge.vertical_point_mem_ball line 14
  2. theorem OAI.SLEExactGauge.SimpleSlitChart.boundary_not_constant_on_interval line 19