OAI/Analysis/FourierExtension/
167 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- AffineArea.lean 1 declarations
- AutomaticBound.lean 9 declarations
- ChartMeasure.lean 4 declarations
- ConvexExtension.lean 23 declarations
- GraphBounds.lean 10 declarations
- GraphCharts.lean 9 declarations
- L2Fourier.lean 32 declarations
- LocalizedFourier.lean 17 declarations
- LpEstimate.lean 3 declarations
- MeasureFourier.lean 5 declarations
- RadialMeasure.lean 23 declarations
- SmoothCharts.lean 12 declarations
- Surface.lean 15 declarations
- SurfaceBound.lean 4 declarations