Documentation
Carleson
Search
return to top
source
Imports
Init
Carleson.Calculations
Carleson.Defs
Carleson.DoublingMeasure
Carleson.FinitaryCarleson
Carleson.Forest
Carleson.GridStructure
Carleson.HolderNorm
Carleson.HolderVanDerCorput
Carleson.LipschitzNorm
Carleson.MinLayerTiles
Carleson.Operators
Carleson.ProofData
Carleson.Psi
Carleson.TileExistence
Carleson.TileStructure
Carleson.Antichain.AntichainOperator
Carleson.Antichain.AntichainTileCount
Carleson.Antichain.Basic
Carleson.Antichain.TileCorrelation
Carleson.Classical.Approximation
Carleson.Classical.Basic
Carleson.Classical.CarlesonHunt
Carleson.Classical.CarlesonHuntBasic
Carleson.Classical.CarlesonOnTheRealLine
Carleson.Classical.CarlesonOnTheRealLineBasic
Carleson.Classical.CarlesonOnTheRealLineContinuous
Carleson.Classical.CarlesonOperatorReal
Carleson.Classical.ClassicalCarleson
Carleson.Classical.ControlApproximationEffect
Carleson.Classical.ControlApproximationEffectBasic
Carleson.Classical.ControlApproximationEffectContinuous
Carleson.Classical.DirichletKernel
Carleson.Classical.Helper
Carleson.Classical.HilbertKernel
Carleson.Classical.HilbertStrongType
Carleson.Classical.SpectralProjectionBound
Carleson.Classical.VanDerCorput
Carleson.Discrete.Defs
Carleson.Discrete.ExceptionalSet
Carleson.Discrete.ForestComplement
Carleson.Discrete.ForestUnion
Carleson.Discrete.MainTheorem
Carleson.ForestOperator.AlmostOrthogonality
Carleson.ForestOperator.Forests
Carleson.ForestOperator.L2Estimate
Carleson.ForestOperator.LargeSeparation
Carleson.ForestOperator.PointwiseEstimate
Carleson.ForestOperator.QuantativeEstimate
Carleson.ForestOperator.RemainingTiles
Carleson.MetricCarleson.Basic
Carleson.MetricCarleson.Linearized
Carleson.MetricCarleson.Main
Carleson.MetricCarleson.Truncation
Carleson.ToMathlib.Annulus
Carleson.ToMathlib.BoundedCompactSupport
Carleson.ToMathlib.BoundedFiniteSupport
Carleson.ToMathlib.CoveredByBalls
Carleson.ToMathlib.Distribution
Carleson.ToMathlib.ENorm
Carleson.ToMathlib.HardyLittlewood
Carleson.ToMathlib.IntegralBallContinuity
Carleson.ToMathlib.LorentzType
Carleson.ToMathlib.MinLayer
Carleson.ToMathlib.Misc
Carleson.ToMathlib.Rearrangement
Carleson.ToMathlib.WeakType
Carleson.TwoSidedCarleson.Basic
Carleson.TwoSidedCarleson.MainTheorem
Carleson.TwoSidedCarleson.NontangentialOperator
Carleson.TwoSidedCarleson.RestrictedWeakType
Carleson.TwoSidedCarleson.WeakCalderonZygmund
Carleson.ToMathlib.Analysis.Convolution
Carleson.ToMathlib.Data.ENNReal
Carleson.ToMathlib.Data.NNReal
Carleson.ToMathlib.RealInterpolation.InterpolatedExponents
Carleson.ToMathlib.RealInterpolation.LorentzInterpolation
Carleson.ToMathlib.RealInterpolation.Main
Carleson.ToMathlib.RealInterpolation.Minkowski
Carleson.ToMathlib.RealInterpolation.Misc
Carleson.ToMathlib.Topology.ContinuousOn
Carleson.ToMathlib.Analysis.Fourier.AddCircle
Carleson.ToMathlib.Analysis.RCLike.Components
Carleson.ToMathlib.Analysis.RCLike.Misc
Carleson.ToMathlib.Analysis.SpecialFunctions.ImproperIntegrals
Carleson.ToMathlib.MeasureTheory.Function.AEEqFun
Carleson.ToMathlib.MeasureTheory.Function.L1Integrable
Carleson.ToMathlib.MeasureTheory.Function.LocallyIntegrable
Carleson.ToMathlib.MeasureTheory.Function.SimpleFunc
Carleson.ToMathlib.MeasureTheory.Integral.Layercake
Carleson.ToMathlib.MeasureTheory.Integral.Lebesgue
Carleson.ToMathlib.MeasureTheory.Integral.MeanInequalities
Carleson.ToMathlib.MeasureTheory.Integral.Misc
Carleson.ToMathlib.MeasureTheory.Integral.Periodic
Carleson.ToMathlib.MeasureTheory.Measure.AEMeasurable
Carleson.ToMathlib.MeasureTheory.Measure.IsDoubling
Carleson.ToMathlib.MeasureTheory.Measure.NNReal
Carleson.ToMathlib.MeasureTheory.Measure.Prod
Carleson.ToMathlib.Order.CompleteLattice.Basic
Carleson.ToMathlib.Order.ConditionallyCompleteLattice.Basic
Carleson.ToMathlib.Analysis.SpecialFunctions.Integrals.Basic
Carleson.ToMathlib.MeasureTheory.Function.LorentzSeminorm.Basic
Carleson.ToMathlib.MeasureTheory.Function.LorentzSeminorm.Defs
Carleson.ToMathlib.MeasureTheory.Function.LorentzSeminorm.TriangleInequality
Carleson.ToMathlib.MeasureTheory.Function.LorentzSpace.Basic
Carleson.ToMathlib.MeasureTheory.Function.LpNorm.Misc
Carleson.ToMathlib.MeasureTheory.Function.LpSeminorm.Basic
Carleson.ToMathlib.MeasureTheory.Function.LpSeminorm.CompareExp
Carleson.ToMathlib.MeasureTheory.Function.LpSeminorm.TriangleInequality
Carleson.ToMathlib.MeasureTheory.Integral.Bochner.ContinuousLinearMap
Carleson.ToMathlib.MeasureTheory.Integral.IntervalIntegral.Basic
Carleson.ToMathlib.MeasureTheory.Integral.IntervalIntegral.Periodic
Carleson.ToMathlib.MeasureTheory.Measure.Haar.Unique
Carleson.ToMathlib.MeasureTheory.Measure.NoAtoms.Basics
Carleson.ToMathlib.MeasureTheory.Measure.NoAtoms.Defs
Carleson.ToMathlib.MeasureTheory.Measure.NoAtoms.Metric
Carleson.ToMathlib.MeasureTheory.Measure.NoAtoms.Prod
Carleson.ToMathlib.Topology.Instances.AddCircle.Defs
Imported by