OAI/MeasureTheory/Falconer/Estimates/WeightedDyadicRegularity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Dyadic weight selection preserves regularity with a logarithmic loss. This is used for coarse tubes weighted by original fine incidences.

  1. theorem OAI.Falconer.weighted_dyadic_regular_subset line 11