OAI/Probability/SLE/Loewner/RawLifetimeHeightLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The height of a raw point tends to zero at its finite lifetime. A positive limiting height would continue the exact cutoff trajectory.

  1. theorem OAI.SLEExactGauge.Target.flow_height_tendsto_zero_at_lifetime line 13