OAI/Probability/SLE/Stochastic/PlanarDiskOpenness.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The planar open-disk specialization of invariance of domain, proved from compact boundary separation and the exponential-covering argument.

  1. theorem OAI.SLEExactGauge.actual_planarDiskOpenness line 13