OAI/MeasureTheory/Falconer/Estimates/RegularRefinementPreparation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Construct the frozen refinement from the original regular point set and fine pencils. No coarse-cover smallness is used in this preparation.

  1. theorem OAI.Falconer.regular_refinement_preparation line 11