`OAI/Geometry/TamingCompatibility/`

4754 declarations, 0 contain sorry, 0 declared as axioms; 582 files

Folders

Charts/ 68 files, 524 declarations
Concentration/ 36 files, 184 declarations
Currents/ 14 files, 64 declarations
DifferentialForms/ 182 files, 1690 declarations
Elliptic/ 40 files, 282 declarations
Functional/ 54 files, 310 declarations
HeatFlow/ 28 files, 207 declarations
Hodge/ 158 files, 1479 declarations

Files

Main.lean 1 declarations
Model.lean 13 declarations