OAI/MeasureTheory/Falconer/Geometry/CubeBallBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform Frostman ball bounds for the finite cube approximants

  1. theorem OAI.Falconer.cube_ball_measure_le line 12
  2. theorem OAI.Falconer.eventual_cube_ball_bounds line 47