OAI/MeasureTheory/Falconer/Radial/RadialMeanPowers.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The logarithmic radial mean loss is absorbed by a small scale power

  1. theorem OAI.Falconer.dyadic_radial_power_cancel line 10
  2. theorem OAI.Falconer.eventually_radial_mean_coefficient line 18