PrescribedRadiusTest.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

The prescribed disk success kernel at the literal radius stop. Finite cutoffs exhaust that stop under the actual finite centered law.

theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.prescribed_disk_test_at_radius line 16