OAI/Geometry/ProjectionVolume/PolytopeDefinitions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.Paper092.HPolytope line 14
2. def OAI.Paper092.HPolytope.body line 24
3. def OAI.Paper092.HPolytope.face line 27
4. def OAI.Paper092.HPolytope.faceArea line 31
5. def OAI.Paper092.HPolytope.facetZonotope line 34