OAI/Probability/SLE/Loewner/LoewnerCompactDriverNeighborhood.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Compact survival holds throughout a uniform neighborhood of a fixed driver, with no regularity assumption on the perturbed trace beyond its actual capacity witness.

  1. theorem OAI.SLEExactGauge.driver_neighborhood_preserves_compact line 15