OAI/MeasureTheory/Falconer/Angular/DyadicLongitudinal.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Longitudinal localization on the original descendant cubes

The original spatial labels give the point-to-center error. Both cap errors are controlled before the radial Fourier decay is used.

  1. theorem OAI.Falconer.dyadic_longitudinal_cross_term line 17