OAI/Probability/SLE/Loewner/LoewnerKernelContinuity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Compact interior regions of a limiting Loewner domain persist under uniform perturbations of the driver.

  1. theorem OAI.SLEExactGauge.inverse_image_neighborhood_persists line 14