OAI/Probability/SLE/Loewner/VerticalHalfPlaneUniqueness.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Normalized half-plane uniqueness using only the vertical asymptotics preserved by bounded-capacity limits.

  1. lemma OAI.SLEExactGauge.halfPlane_height_of_vertical_normalization line 13
  2. lemma OAI.SLEExactGauge.vertical_halfPlane_left_inverse_eq_id line 21