OAI/Probability/SLE/Loewner/RawFixedRestart.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Any fixed raw realization with the full-law path certificate restarts through the actual inverse map. This keeps the raw functional used by scaling.

  1. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.raw_fixed_restart line 17