OAI/Geometry/Convex/
8719 declarations, 0 contain sorry, 0 declared as axioms; 303 files
Folders
- GeneralMahler/ 302 files, 8719 declarations
Files
- GeneralMahler.lean 0 declarations
OAI/Geometry/Convex/8719 declarations, 0 contain sorry, 0 declared as axioms; 303 files