OAI/Probability/SLE/Loewner/SlitChartFarHeight.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A uniform far-field displacement bound for all slits in one fixed disk.

  1. lemma OAI.SLEExactGauge.radiusHullMap_im_mul_normSq line 12
  2. lemma OAI.SLEExactGauge.radiusHullMap_im_ge_half line 20
  3. lemma OAI.SLEExactGauge.SimpleSlitChart.far_height_displacement line 32