PrescribedDiskTestKernel.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

The actual disk test has its finite centered success kernel at the starting angle. Only finite stopped events enter the change of law.

theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.prescribed_disk_test_kernel line 21