OAI/Probability/SLE/Loewner/ReflectedForwardContinuity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform analytic bounds carry time continuity of the initial slit maps from the open half-plane to the surviving real boundary.

  1. lemma OAI.SLEExactGauge.initialReflectedForward_equicontinuous line 15
  2. lemma OAI.SLEExactGauge.initialReflectedForward_equicontinuousAt_real line 40
  3. theorem OAI.SLEExactGauge.initialReflectedForward_real_continuous line 51