OAI/Probability/SLE/Loewner/OpenSurvivalLifetime.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The finite lifetime of a downward-closed survival condition with strict continuation at each surviving time.

  1. lemma OAI.SLEExactGauge.exists_open_survival_lifetime line 12