OAI/Geometry/ProjectionVolume/ProductFacets.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Paper092.vectorSpan_finrank_of_interior_nonempty line 12
2. theorem OAI.Paper092.exposedFace_product_codimension_two line 21
3. theorem OAI.Paper092.exposedFace_productLiftLeft line 32
4. theorem OAI.Paper092.exposedFace_productLiftRight line 37
5. theorem OAI.Paper092.exposedFace_product_facet_classification line 42
6. theorem OAI.Paper092.exposedFace_product_facet_left line 81
7. theorem OAI.Paper092.exposedFace_product_facet_right line 92