OAI/Geometry/Convex/GeneralMahler/Frame/
72 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Diagonal.lean 41 declarations
- Sec.lean 22 declarations
- Selector.lean 9 declarations
OAI/Geometry/Convex/GeneralMahler/Frame/72 declarations, 0 contain sorry, 0 declared as axioms; 3 files