OAI/Probability/SLE/Loewner/TargetInverseProperties.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Exact inverse identities for the raw flow on its surviving domain.

  1. lemma OAI.SLEExactGauge.Target.surviving_mem_upperHalfPlane line 12
  2. lemma OAI.SLEExactGauge.Target.surviving_flow_mem_upperHalfPlane line 20
  3. lemma OAI.SLEExactGauge.Target.inverseFlow_spec line 30
  4. lemma OAI.SLEExactGauge.Target.inverseFlow_eq_of_surviving line 36
  5. lemma OAI.SLEExactGauge.Target.inverseFlow_surviving line 42
  6. lemma OAI.SLEExactGauge.Target.flow_inverseFlow line 47
  7. lemma OAI.SLEExactGauge.Target.inverseFlow_mem_upperHalfPlane line 52