OAI/MeasureTheory/Falconer/Recursion/ThreeIntervalShift.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The three-interval gain with a fixed coarsening of the middle radial scale

  1. theorem OAI.Falconer.three_interval_shifted_power line 10
  2. theorem OAI.Falconer.three_interval_relative_budget line 35