WaypointTubeGeometry.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Pointwise geometry of either physical Brownian tube, retaining its chosen side for the conformal exit-arc law.

theorem OAI.SLEExactGauge.RibbonCoordinates.physical_waypoint_tube_geometry line 14