OAI/MeasureTheory/Falconer/Radial/WeakRadial.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The weak radial estimate in every dimension, at finite dyadic scales

This is Lemma ang:weak-radial of the manuscript, with the bounded support specified by a unit dyadic cube. The only published input here is the finite coordinate form of Loomis--Whitney. All pair deletions use the original law.

  1. theorem OAI.Falconer.weak_radial line 19