OAI/Probability/SLE/Loewner/RawRadialTipBoundary.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A radial inverse limit lies outside the open raw survival domain. This uses only the stated limit, with no regularity of the driver beyond its defining continuity.

  1. theorem OAI.SLEExactGauge.RegularSLEPresentation.raw_radial_tip_not_surviving line 14