OAI/MeasureTheory/FalconerCompletion/Fourier/
384 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- BandTermSubOfLe.lean 4 declarations
- DerivativeIntegralBoundOfSupport.lean 5 declarations
- DerivativeIntegralBoundOfSupport2.lean 5 declarations
- Fourier.lean 9 declarations
- FourierPolynomialSmoothing.lean 18 declarations
- FourierSubLeft.lean 13 declarations
- HalfDimensionalFourierWithCutoff.lean 16 declarations
- LawRoot.lean 11 declarations
- LintegralBiUnionFinsetLe.lean 6 declarations
- MinimalMask.lean 19 declarations
- PolynomialKernel.lean 14 declarations
- QuadraticKernel.lean 14 declarations
- QuadraticKernel2.lean 14 declarations
- SchwartzIteratedDerivIntegrable.lean 9 declarations
- SchwartzIteratedDerivIntegrable2.lean 9 declarations
- SchwartzNormMonomialIntegrable.lean 20 declarations
- SchwartzNormMonomialIntegrable2.lean 20 declarations
- SignedDistanceFrequency.lean 3 declarations
- SignedVariationFinite.lean 11 declarations
- SpatialInnerBump.lean 23 declarations
- SphereConeToLp.lean 30 declarations
- SphereConeToLp2.lean 30 declarations
- SphereNorthSchwartz.lean 3 declarations
- SphereNorthSchwartz2.lean 3 declarations
- StationaryInverseUnit.lean 25 declarations
- StationaryInverseUnit2.lean 25 declarations
- StationaryInverseUnit3.lean 25 declarations