OAI/Probability/SLE/Loewner/SlitUniformInverseBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A common radius for the physical slit gives a common bound on all inverse charts above a bounded coordinate set.

  1. lemma OAI.SLEExactGauge.SimpleSlitChart.exterior_displacement_le_radius line 14
  2. theorem OAI.SLEExactGauge.SimpleSlitChart.inverse_uniform_bound line 38
  3. theorem OAI.SLEExactGauge.initialInverse_uniform_bound line 52