DiskCanonicalMoments.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

The centered physical-disk estimate survives the canonical convex limit on the same event and with its original target-radius factor.

theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.uniform_disk_terminal_test_centered_moments line 19