`OAI/Geometry/IntegralFillings/`

724 declarations, 0 contain sorry, 0 declared as axioms; 112 files

Folders

Charts/ 32 files, 182 declarations
Currents/ 30 files, 196 declarations
Differentiation/ 16 files, 98 declarations
Geometry/ 4 files, 23 declarations
Jacobian/ 7 files, 48 declarations
Optimality/ 6 files, 59 declarations
Slicing/ 15 files, 90 declarations

Files

Main.lean 5 declarations
Model.lean 23 declarations