OAI/Probability/SLE/Loewner/LoewnerInverseStability.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform perturbation estimates for inverse maps above a positive height. They require no regularity of a boundary trace beyond the capacity witness.

  1. lemma OAI.SLEExactGauge.reverseField_driver_dist line 13
  2. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.inverse_approximation_bound line 31
  3. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.inverse_displacement_bound line 72