RadiusCellTail.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

The physical cell-tail bound at a literal, possibly infinite radius start. Finite cutoffs exhaust the actual centered law.

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