`OAI/Geometry/Zonotope/`

75 declarations, 0 contain sorry, 0 declared as axioms; 11 files

Files

Body.lean 9 declarations
Decomposition.lean 10 declarations
Determinant.lean 1 declarations
Euclidean.lean 11 declarations
EuclideanVolume.lean 6 declarations
Halfspaces.lean 3 declarations
Product.lean 8 declarations
Scaling.lean 4 declarations
Shear.lean 4 declarations
Support.lean 6 declarations
Volume.lean 13 declarations