OAI/Probability/SLE/Geometry/HalfPlaneChartBoundary.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The two exceptional circle values of the centered half-plane chart.

  1. lemma OAI.SLEExactGauge.halfPlaneToDisk_zero_norm line 12
  2. lemma OAI.SLEExactGauge.diskToHalfPlane_continuousAt line 17
  3. lemma OAI.SLEExactGauge.diskToHalfPlane_boundary_im line 22
  4. lemma OAI.SLEExactGauge.diskToHalfPlane_boundary_ne_zero line 26