OAI/MeasureTheory/Falconer/Shells/ShellKernels.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PlanarFalconer.fourier_real_dilate line 10
  2. def OAI.PlanarFalconer.sourceInverseKernel line 21
  3. theorem OAI.PlanarFalconer.sourceInverseKernel_formula line 24
  4. theorem OAI.PlanarFalconer.sourceInverseKernel_dilate line 35
  5. def OAI.PlanarFalconer.sourceShellSchwartz line 42
  6. theorem OAI.PlanarFalconer.sourceShellSchwartz_apply line 46
  7. def OAI.PlanarFalconer.sourceShellKernel line 49
  8. theorem OAI.PlanarFalconer.sourceShellKernel_integrable line 51
  9. theorem OAI.PlanarFalconer.sourceShellBand_dilate line 59
  10. theorem OAI.PlanarFalconer.sourceShellKernel_dilate line 65
  11. theorem OAI.PlanarFalconer.sourceShellKernel_uniform_L1 line 75