PrescribedUniformGeometry.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

One late-batch cutoff supplies all clock and visit geometry, uniformly over every center above the shrinking boundary strip.

theorem OAI.SLEExactGauge.Target.eventually_prescribed_uniform_geometry line 13