OAI/Probability/SLE/Geometry/ArcBoundaryReplacement.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Replacing one compact arc in a Jordan boundary while fixing the other arc. The replacement retains the supplied interval parameter.

  1. def OAI.SLEExactGauge.arcParameterHomeomorph line 12
  2. lemma OAI.SLEExactGauge.arcParameterHomeomorph_apply line 18
  3. def OAI.SLEExactGauge.arcParameterReplacement line 22
  4. lemma OAI.SLEExactGauge.arcParameterReplacement_apply line 28
  5. def OAI.SLEExactGauge.fixedArcBoundaryReplacement line 39