CanonicalBoundaryLimit.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

A continuous canonical trace modification with the exact inverse-tip limit simultaneously at every time, obtained from an actual source witness.

theorem OAI.SLEExactGauge.exists_canonical_all_time_boundary_limit line 24