OAI/MeasureTheory/Falconer/Graphs/FiberSlice.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.sourceDensityMeasure line 9
2. theorem OAI.PlanarFalconer.sourceDensityMeasure_finite line 12
3. theorem OAI.PlanarFalconer.sourceSchwartzFiber_measure line 19
4. theorem OAI.PlanarFalconer.schwartz_density_fourier line 28
5. theorem OAI.PlanarFalconer.sourceSchwartzFiber_fourier line 45
6. theorem OAI.PlanarFalconer.sourceSchwartzFiber_sliceEnergy line 53