OAI/MeasureTheory/Falconer/Estimates/ScalarWeakToUniform.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform local regularity extracted from a weak scalar Frostman bound, with a lower bound for the rescaling radius.

  1. theorem OAI.Falconer.scalar_weak_to_uniform line 9