OAI/MeasureTheory/Falconer/Fourier/FourierLebesgue.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.sourceFourier line 13
2. theorem OAI.PlanarFalconer.sourceFourier_integral_swap line 16
3. theorem OAI.PlanarFalconer.sourceFourier_difference line 37
4. theorem OAI.PlanarFalconer.gaussian_lebesgue_integrable line 44
5. theorem OAI.PlanarFalconer.source_gaussian_fourier line 50
6. theorem OAI.PlanarFalconer.gaussian_lebesgue_square line 67
7. theorem OAI.PlanarFalconer.source_scaled_gaussian_identity line 96
8. theorem OAI.PlanarFalconer.gaussian_sourceFourier_integrable line 115
9. theorem OAI.PlanarFalconer.source_scaled_gaussian_lintegral line 127