OAI/Probability/SLE/Geometry/DiskLowerStraightening.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Reflection gives the second prescribed boundary extension.

  1. def OAI.SLEExactGauge.diskLowerArc line 12
  2. theorem OAI.SLEExactGauge.disk_crosscut_lower_straightening line 14