ConcentratedCutoffs.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Cutoffs whose centers lie in a closed set and whose radii tend to zero have a common finite tail vanishing near each point of its complement.

theorem OAI.CircleDomainRigidity.concentrated_cutoffs_eventually_zero line 12