OAI/Probability/SLE/Loewner/RawForwardInfinity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Hydrodynamic normalization of the raw forward map follows from its ODE on surviving trajectories, without a prior geometric witness.

  1. theorem OAI.SLEExactGauge.Target.flow_hydrodynamic_normalization line 14