OAI/Probability/SLE/Loewner/TargetSurvivalExtension.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A surviving raw trajectory continues for a strictly longer time. This follows directly from the strict cutoff-height certificate.

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