OAI/Probability/SLE/Loewner/CapacityRightLoewner.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The Loewner right derivative in the exact capacity clock. No regularity of the driving function is assumed for this identification.

  1. lemma OAI.SLEExactGauge.capacityParameterOnPrefix_tendsto_Ioc line 15
  2. theorem OAI.SLEExactGauge.capacityForward_quotient_tendsto line 31
  3. theorem OAI.SLEExactGauge.capacityForward_hasDerivWithinAt_right line 53