OAI/Geometry/Convex/GeneralMahler/Rigid/
18 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- Axes.lean 4 declarations
- Basis.lean 5 declarations
- Rays.lean 2 declarations
- Support.lean 7 declarations