OAI/MeasureTheory/Falconer/Incidence/BoundedFrozenHeavyCover.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Heavy radial fibers have bounded-anchor frozen tube covers

  1. theorem OAI.Falconer.bounded_frozen_heavy_tube_cover line 13