OAI/Probability/SLE/Loewner/SlitUniformForwardBound.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

A numerical, slit-radius bound on all near-boundary forward coordinates. It is independent of the shape of the simple slit.

  1. lemma OAI.SLEExactGauge.SimpleSlitChart.forward_on_two_radius line 14
  2. lemma OAI.SLEExactGauge.ReflectedCapacityChart.normalizing_constant_bound line 40
  3. lemma OAI.SLEExactGauge.ReflectedCapacityChart.forward_bounded_in_two_radius line 72
  4. lemma OAI.SLEExactGauge.not_reflectedArcSet_of_mem_slit_domain line 88
  5. theorem OAI.SLEExactGauge.SimpleSlitChart.forward_uniform_near line 103