`OAI/Geometry/WeakMTW/`

788 declarations, 0 contain sorry, 0 declared as axioms; 210 files

Folders

Analysis/ 3 files, 25 declarations
Coordinates/ 42 files, 166 declarations
Domains/ 1 files, 2 declarations
Geodesics/ 43 files, 160 declarations
Potentials/ 43 files, 152 declarations
Support/ 31 files, 125 declarations
Variations/ 43 files, 141 declarations

Files

Convexity.lean 2 declarations
Endpoints.lean 5 declarations
Main.lean 8 imports, no declarations
Model.lean 10 declarations