OAI/Probability/SLE/Loewner/ReflectedExteriorHeight.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Reflection supplies the lower-half-plane version of the normalized height inequality.

  1. lemma OAI.SLEExactGauge.ReflectedCapacityChart.forward_reflection line 13
  2. lemma OAI.SLEExactGauge.ReflectedCapacityChart.height_displacement_sign line 27