OAI/MeasureTheory/Falconer/Fourier/RootPairSymbols.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.rootPairSymbol line 9
2. def OAI.PlanarFalconer.rootPairMask line 13
3. def OAI.PlanarFalconer.rootSpatialWeight line 18
4. theorem OAI.PlanarFalconer.rootPairSymbol_inherited line 22
5. theorem OAI.PlanarFalconer.rootPairSymbol_radial line 30
6. theorem OAI.PlanarFalconer.rootPairMask_measurable line 35
7. theorem OAI.PlanarFalconer.rootPairMask_bounds line 45
8. theorem OAI.PlanarFalconer.rootSpatialWeight_measurable line 52
9. theorem OAI.PlanarFalconer.rootSpatialWeight_nonneg line 56
10. theorem OAI.PlanarFalconer.rootSpatialWeight_le line 60