OAI/MeasureTheory/Falconer/Fourier/ConeIntegration.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Coordinate and dilation integration for the gnomonic cone formula

  1. def OAI.Falconer.euclideanTail line 13
  2. theorem OAI.Falconer.euclidean_coordinate_split_preserving line 16
  3. theorem OAI.Falconer.lintegral_euclidean_coordinate_split line 25
  4. theorem OAI.Falconer.lintegral_inverse_dilation line 31