OAI/Probability/SLE/Loewner/SlitChartBoundaryShrink.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Small inverse half-disks for static slit charts, from the closed boundary arcs.

  1. lemma OAI.SLEExactGauge.SimpleSlitChart.inverse_arc_traps_radial_point line 13
  2. lemma OAI.SLEExactGauge.SimpleSlitChart.small_boundary_halfdisk line 49