OAI/MeasureTheory/Falconer/Fourier/HalfDimensionalFourier.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The half-dimensional Fourier bound at the required dyadic scales

  1. theorem OAI.Falconer.radial_unit_interval_mass line 14
  2. theorem OAI.Falconer.radial_low_fourier line 22
  3. theorem OAI.Falconer.dyadic_half_dimensional_fourier line 38