OAI/Probability/SLE/Geometry/ConformalDiskExit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

At a finite physical exit the limit of a conformal disk chart is on the unit circle. Only continuity of the inverse inside the disk is used.

  1. lemma OAI.SLEExactGauge.disk_exit_limit_norm line 14
  2. theorem OAI.SLEExactGauge.conformal_disk_finite_exit_limit line 36