OAI/MeasureTheory/Falconer/Estimates/CommonRegularReference.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The common reference supplied by overlapping BSG rectangles inherits scalar regularity from its actual retained graph, as well as small doubling and all the normalized ratio projections.

  1. theorem OAI.Falconer.common_regular_reference line 13