OAI/MeasureTheory/Falconer/Radial/AllDimensionalRadialTestBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Bounding the exact ambient radial test norm by its smooth density moment.

  1. theorem OAI.Falconer.surfaceTestNorm_radial_density_rpow_le line 12