OAI/Probability/SLE/Loewner/RawSurvivingDerivative.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The raw flow has its ordinary right evolution at every surviving time, because the strict cutoff certificate persists a little longer.

  1. lemma OAI.SLEExactGauge.Target.flow_hasDerivWithinAt_of_survival line 14