OAI/MeasureTheory/Falconer/Estimates/CoarseFloorPowers.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The last coarse scale interpolates to a fixed positive directional exponent

  1. theorem OAI.Falconer.plateScale_floor_mul line 9
  2. theorem OAI.Falconer.coarse_floor_radius_power line 20