OAI/MeasureTheory/Falconer/Estimates/RegularCoarsePreparation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Construct the regular coarse cells, their pencils and their original fine packets from the two covering assumptions in the regular-set alternative.

  1. theorem OAI.Falconer.regular_coarse_preparation line 13