OAI/Probability/SLE/Loewner/CapacityPointwiseLoewner.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Pointwise right evolution on every finite surviving capacity prefix.

  1. theorem OAI.SLEExactGauge.capacityForward_hasDerivWithinAt_Ici line 12