`OAI/Geometry/IsometricImmersion/`

3545 declarations, 0 contain sorry, 0 declared as axioms; 447 files

Folders

Assembly/ 15 files, 201 declarations
Calculus/ 37 files, 307 declarations
Caps/ 64 files, 461 declarations
Comparison/ 29 files, 104 declarations
Coordinates/ 21 files, 222 declarations
Curvature/ 16 files, 186 declarations
Darboux/ 52 files, 488 declarations
Energy/ 38 files, 294 declarations
Estimates/ 19 files, 98 declarations
Flows/ 29 files, 207 declarations
Immersions/ 17 files, 125 declarations
Metrics/ 26 files, 266 declarations
Obstructions/ 10 files, 31 declarations
Pulses/ 37 files, 271 declarations
Taylor/ 25 files, 176 declarations
Volterra/ 7 files, 72 declarations

Files

All.lean 446 imports, no declarations
CoordinateMain.lean 1 declarations
LocalDomains.lean 14 declarations
Main.lean 6 declarations
Metric.lean 15 declarations