OAI/MeasureTheory/Falconer/Radial/BoundedHeavyPlateCover.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Removing the unit-ball normalization from the published heavy-plate cover

  1. theorem OAI.Falconer.bounded_heavy_plate_cover line 12