OAI/Probability/SLE/Geometry/InvertedArcComponents.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The two sides of an inverted reflected slit run to infinity. Consequently its complementary components cannot be bounded.

  1. def OAI.SLEExactGauge.invertedArcImage line 14
  2. lemma OAI.SLEExactGauge.invertedArcImage_preconnected line 17
  3. lemma OAI.SLEExactGauge.invertedArcImage_unbounded line 24
  4. lemma OAI.SLEExactGauge.invertedExterior_two_arcs_complement line 46
  5. theorem OAI.SLEExactGauge.invertedExterior_two_arcs_components_unbounded line 72