OAI/MeasureTheory/Falconer/Radial/RadialTestFatou.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Passing the uniform smooth radial estimate to arbitrary finite-energy measures.

  1. theorem OAI.Falconer.surfaceTestNorm_rpow_le_liminf line 12
  2. theorem OAI.Falconer.euclidean_radial_testNorm_fatou line 41