OAI/MeasureTheory/Falconer/Estimates/ScalarWeakReference.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The reference-set obstruction uniform in a weakly growing ratio radius.

  1. theorem OAI.Falconer.scalar_weak_reference_obstruction line 11