OAI/Probability/SLE/Loewner/SlitRawForward.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The raw positive Loewner trajectory agrees exactly with the constructed conformal slit evolution on every surviving prefix.

  1. theorem OAI.SLEExactGauge.slitCapacityForward_eq_raw line 14