OAI/MeasureTheory/Falconer/Radial/HeavyProjectedCover.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A finite cover of sources whose full projected local mass is heavy
- theorem
OAI.Falconer.heavy_projected_grid_coverline 12