OAI/MeasureTheory/Falconer/
8983 declarations, 0 contain sorry, 0 declared as axioms; 2461 files
Folders
- Angular/ 289 files, 1222 declarations
- Estimates/ 629 files, 2154 declarations
- Fourier/ 184 files, 986 declarations
- Frostman/ 8 files, 48 declarations
- Geometry/ 230 files, 837 declarations
- Graphs/ 181 files, 709 declarations
- Incidence/ 123 files, 320 declarations
- Measures/ 116 files, 350 declarations
- Radial/ 210 files, 589 declarations
- Recursion/ 212 files, 834 declarations
- Shells/ 130 files, 442 declarations
- Slicing/ 144 files, 478 declarations
Files
- Campaign123Development.lean 1026 imports, no declarations
- Campaign123PlanarFurstenbergProof.lean 2 declarations
- DistanceSet.lean 7 declarations
- Main.lean 2 declarations
- Model.lean 3 declarations