OAI/MeasureTheory/Falconer/Geometry/UniformMiddleGeometry.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

One fixed angular coarsening works for every interval with the contact margins

  1. theorem OAI.Falconer.uniform_middle_geometry line 9