OAI/MeasureTheory/Falconer/Geometry/EuclideanTrace.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The Fourier energy pairing in the dimension of a projected hyperplane.

  1. theorem OAI.Falconer.euclidean_weighted_cauchy line 12
  2. theorem OAI.Falconer.euclidean_schwartz_measure_pairing line 52
  3. theorem OAI.Falconer.euclidean_schwartz_inverse_weight line 59
  4. theorem OAI.Falconer.euclidean_fourier_pairing line 69