OAI/Probability/SLE/Loewner/LoewnerCompactSurvival.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Compact subsets of the limiting surviving domain stay in the surviving domains of all sufficiently close drivers.

  1. theorem OAI.SLEExactGauge.compact_survival_of_inverse_convergence line 13