OAI/Probability/SLE/Loewner/InverseBoundaryBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Hydrodynamic normalization prevents an inverse chart from escaping to infinity above a bounded set. This is independent of boundary extension.

  1. lemma OAI.SLEExactGauge.inverse_bound_of_hydrodynamic line 13
  2. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.inverse_bounded_over_ball line 40