OAI/Geometry/ProjectionVolume/PolarRepresentation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Paper092.halfspacePolar line 16
2. theorem OAI.Paper092.halfspacePolar_convexHull line 19
3. theorem OAI.Paper092.halfspacePolar_isClosed line 30
4. theorem OAI.Paper092.halfspacePolar_bipolar line 37
5. theorem OAI.Paper092.halfspacePolar_isCompact line 62
6. theorem OAI.Paper092.finite_polar_has_halfspaces line 85
7. theorem OAI.Paper092.finite_convex_hull_has_halfspaces_centered line 129
8. theorem OAI.Paper092.finite_convex_hull_has_halfspaces line 151