OAI/MeasureTheory/Falconer/Estimates/TubeUniformization.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Equalizing the sizes of tube pencils with only the dyadic logarithmic loss used in Orponen--Shmerkin, Section 9.

  1. theorem OAI.Falconer.exists_dyadic_tube_bucket line 13
  2. theorem OAI.Falconer.exists_equal_size_tube_pencils line 49