Carleson/Classical/
215 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- Approximation.lean 9 declarations
- Basic.lean 27 declarations
- CarlesonHunt.lean 7 declarations
- CarlesonHuntBasic.lean 2 declarations
- CarlesonOnTheRealLine.lean 2 declarations
- CarlesonOnTheRealLineBasic.lean 21 declarations
- CarlesonOnTheRealLineContinuous.lean 2 declarations
- CarlesonOperatorReal.lean 12 declarations
- ClassicalCarleson.lean 4 declarations
- ControlApproximationEffect.lean 9 declarations
- ControlApproximationEffectBasic.lean 13 declarations
- ControlApproximationEffectContinuous.lean 13 declarations
- DirichletKernel.lean 13 declarations
- Helper.lean 8 declarations
- HilbertKernel.lean 12 declarations
- HilbertStrongType.lean 52 declarations
- SpectralProjectionBound.lean 6 declarations
- VanDerCorput.lean 3 declarations