OAI/MeasureTheory/Falconer/Geometry/BinOffsets.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.binL2Norm line 12
2. theorem OAI.PlanarFalconer.ennreal_offset_cauchy line 15
3. theorem OAI.PlanarFalconer.realBin_cover line 28
4. theorem OAI.PlanarFalconer.offset_rectangles_mass_le line 35
5. theorem OAI.PlanarFalconer.finite_offset_rectangles_mass_le line 43