OAI/MeasureTheory/Falconer/Recursion/PotentialBallBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Bounded Riesz potentials give all-center Frostman bounds

  1. theorem OAI.Falconer.ball_mass_le_potential line 11
  2. theorem OAI.Falconer.frostman_of_ae_bounded_potential line 37