OAI/MeasureTheory/Falconer/Fourier/LowFrequencyKernel.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.sourceInverseSchwartz_integrable line 10
2. def OAI.PlanarFalconer.sourceLowpassSchwartz line 17
3. theorem OAI.PlanarFalconer.sourceLowpassSchwartz_apply line 20
4. def OAI.PlanarFalconer.sourceLowKernel line 24
5. theorem OAI.PlanarFalconer.sourceLowKernel_integrable line 26
6. def OAI.PlanarFalconer.sourceLowTerm line 29
7. theorem OAI.PlanarFalconer.schwartz_charFun_integrable line 34
8. theorem OAI.PlanarFalconer.schwartzKernelMeasureConvolution_test line 41
9. theorem OAI.PlanarFalconer.schwartz_cutoff_test_integrable line 51