OAI/Probability/SLE/Geometry/NoBoundaryAtoms.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A centered conformal disk chart has no atom at any prescribed boundary point on finite physical exits.

  1. theorem OAI.SLEExactGauge.planarDiskExitAtom_null line 14