OAI/MeasureTheory/Falconer/Radial/OuterRadialWidths.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Outer-interval pruning with the fixed widths used by the cell multiplication lemma

  1. theorem OAI.Falconer.dyadic_shifted_decay line 13
  2. theorem OAI.Falconer.outer_radial_interval_fixed_width line 20