Carleson/
3076 declarations, 3 contain sorry, 0 declared as axioms; 117 files
Folders
- Antichain/ 4 files, 145 declarations
- Classical/ 18 files, 215 declarations
- Discrete/ 5 files, 234 declarations
- ForestOperator/ 7 files, 282 declarations
- MetricCarleson/ 4 files, 101 declarations
- ToMathlib/ 59 files, 1301 declarations
- TwoSidedCarleson/ 5 files, 169 declarations
Files
- Calculations.lean 29 declarations
- Defs.lean 36 declarations
- DoublingMeasure.lean 80 declarations
- FinitaryCarleson.lean 10 declarations
- Forest.lean 28 declarations
- GridStructure.lean 67 declarations
- HolderNorm.lean 8 declarations
- HolderVanDerCorput.lean 31 declarations
- LipschitzNorm.lean 8 declarations
- MinLayerTiles.lean 4 declarations
- Operators.lean 34 declarations
- ProofData.lean 30 declarations
- Psi.lean 76 declarations
- TileExistence.lean 94 declarations
- TileStructure.lean 94 declarations