OAI/Probability/SLE/Loewner/TargetInverseContinuity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Local stability and continuity of the raw inverse flow, independently of the existence of a geometric trace.

  1. lemma OAI.SLEExactGauge.Target.inverseFlow_eq_reverse_trajectory line 13
  2. lemma OAI.SLEExactGauge.Target.inverseFlow_lipschitzOn_height line 23
  3. lemma OAI.SLEExactGauge.Target.continuousOn_inverseFlow line 59