OAI/MeasureTheory/Falconer/Radial/DyadicHeavyCover.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite thicker-plate covers of the actual original dyadic exclusions

  1. theorem OAI.Falconer.dyadic_heavy_plate_covers line 12