NormalizedAccessGuide.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Continuous normalized parameter guides from actual fresh Loewner tips. The boundary value, inverse identity, simplicity and unit-waypoint normalization are derived, rather than imposed on an abstract map family.

theorem OAI.SLEExactGauge.normalized_actual_access_guide line 16