`OAI/MeasureTheory/FalconerCompletion/`

3044 declarations, 0 contain sorry, 0 declared as axioms; 335 files

Folders

Angular/ 45 files, 310 declarations
Estimates/ 48 files, 223 declarations
Fourier/ 27 files, 384 declarations
Graphs/ 76 files, 692 declarations
Measures/ 29 files, 256 declarations
Recursion/ 43 files, 440 declarations
Shells/ 25 files, 210 declarations
Sphere/ 41 files, 529 declarations

Files

Main.lean 8 imports, no declarations