OAI/Probability/SLE/Geometry/TransportCrosscutPartition.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Transport the proved polygonal crosscut theorem after an ambient straightening of just the interior arc.

  1. theorem OAI.SLEExactGauge.plane_homeomorph_arc line 12
  2. theorem OAI.SLEExactGauge.plane_crosscut_partition_of_straightening line 23