`OAI/Analysis/AncientFlat/`

2219 declarations, 0 contain sorry, 0 declared as axioms; 333 files

Folders

Energy/ 11 files, 108 declarations
Evolution/ 136 files, 510 declarations
Geometry/ 26 files, 118 declarations
Kernel/ 19 files, 629 declarations
Profile/ 27 files, 119 declarations
Regularity/ 85 files, 540 declarations
Spectral/ 10 files, 40 declarations
Weighted/ 18 files, 155 declarations

Files

Main.lean 17 imports, no declarations