OAI/Probability/SLE/Geometry/DiskSemicircleGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Concrete boundary sets used in the relative disk extension.

  1. lemma OAI.SLEExactGauge.diskUpperArc_im_nonneg line 12
  2. theorem OAI.SLEExactGauge.diskUpperArc_image line 18
  3. theorem OAI.SLEExactGauge.diskLowerArc_image line 49
  4. theorem OAI.SLEExactGauge.disk_semicircle_union line 66
  5. theorem OAI.SLEExactGauge.disk_semicircle_inter line 78
  6. theorem OAI.SLEExactGauge.diskDiameter_image line 97