OAI/Geometry/ProjectionVolume/GeneralProduct.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Paper092.HPolytope.product_faceArea_inl line 19
2. theorem OAI.Paper092.HPolytope.product_faceArea_inr line 28
3. theorem OAI.Paper092.HPolytope.brightness_product line 37
4. theorem OAI.Paper092.projectionBody_product line 69
5. theorem OAI.Paper092.normalizedProjectionVolume_product line 77