OAI/MeasureTheory/Falconer/Fourier/PositiveDistanceSpatialKernel.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.PositiveDistanceData.width_kernel line 10
2. theorem OAI.PlanarFalconer.PositiveDistanceData.normalization_congr line 15
3. theorem OAI.PlanarFalconer.PositiveDistanceData.spatial_kernel_max line 21
4. theorem OAI.PlanarFalconer.PositiveDistanceData.spatial_stationary_kernel_max line 39