OAI/MeasureTheory/Falconer/Fourier/FiberSchwartz.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PlanarFalconer.contDiff_sourceFrame line 11
  2. theorem OAI.PlanarFalconer.continuous_sourceAlong line 19
  3. theorem OAI.PlanarFalconer.sourceAlong_frame line 23
  4. def OAI.PlanarFalconer.sourceRealFiber line 29
  5. theorem OAI.PlanarFalconer.sourceFiber_line_compact line 32
  6. theorem OAI.PlanarFalconer.sourceRealFiber_compact line 40
  7. theorem OAI.PlanarFalconer.sourceRealFiber_smooth line 50
  8. def OAI.PlanarFalconer.sourceSchwartzFiber line 69
  9. theorem OAI.PlanarFalconer.sourceSchwartzFiber_apply line 73
  10. theorem OAI.PlanarFalconer.sourceSchwartzFiber_nonneg line 77
  11. theorem OAI.PlanarFalconer.sourceSchwartzFiber_density line 81