OAI/Probability/SLE/Loewner/CanonicalInverseNonzero.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Nonvanishing derivative of the canonical inverse, transferred through the same measurable clipped functions used for holomorphicity.

  1. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.inverse_deriv_ne_zero line 21
  2. lemma OAI.SLEExactGauge.ae_canonical_inverse_deriv_ne_zero line 31