`Carleson/ForestOperator/`

282 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

AlmostOrthogonality.lean 16 declarations
Forests.lean 56 declarations
L2Estimate.lean 33 declarations
LargeSeparation.lean 74 declarations
PointwiseEstimate.lean 70 declarations
QuantativeEstimate.lean 14 declarations
RemainingTiles.lean 19 declarations