OAI/MeasureTheory/Falconer/Radial/ProjectionEnergy.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PlanarFalconer.sourceProjection line 11
  2. def OAI.PlanarFalconer.planePhase line 14
  3. theorem OAI.PlanarFalconer.continuous_sourceProjection line 17
  4. theorem OAI.PlanarFalconer.sourceProjection_sub line 22
  5. theorem OAI.PlanarFalconer.abs_sourceProjection line 27
  6. theorem OAI.PlanarFalconer.sourceProjection_angular_kernel line 47
  7. theorem OAI.PlanarFalconer.sourceProjection_kernel_factor line 62
  8. def OAI.PlanarFalconer.projectedMeasure line 75
  9. instance OAI.PlanarFalconer.projectedMeasure_finite line 78
  10. theorem OAI.PlanarFalconer.projected_energy_formula line 81
  11. def OAI.PlanarFalconer.differenceEnergyMeasure line 91
  12. theorem OAI.PlanarFalconer.differenceEnergyMeasure_mass line 94
  13. theorem OAI.PlanarFalconer.projected_energy_weighted_formula line 99