OAI/Probability/SLE/Loewner/SlitInverseGerm.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The analytic inverse germ at infinity respects reflection and the upper side. This is the local branch for the actual slit inverse.

  1. lemma OAI.SLEExactGauge.local_inverse_reflection line 13
  2. theorem OAI.SLEExactGauge.slitReciprocalMap_exists_upper_inverse line 26