OAI/Probability/SLE/Gauge/RibbonAccessGuide.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The physical ribbon guide supplies surviving-domain and compactness geometry under a two-sided waypoint angle hypothesis.

  1. theorem OAI.SLEExactGauge.RibbonCoordinates.ribbon_access_guide_geometry line 14