OAI/Geometry/CylinderCovering/Caps/TrapezoidShapes.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RadialFootprints.halfheightVertices line 13
2. theorem OAI.RadialFootprints.halfheightFootprint_eq_affine line 17
3. theorem OAI.RadialFootprints.halfheightVertices_eq_trapezoid line 28
4. theorem OAI.RadialFootprints.halfheightFootprint_eq_convexHull line 36
5. theorem OAI.RadialFootprints.halfheightVertices_injective line 49
6. theorem OAI.RadialFootprints.halfheightFootprint_convex line 61
7. theorem OAI.RadialFootprints.halfheightFootprint_isCompact line 67
8. theorem OAI.RadialFootprints.halfheight_parallel_sides line 81
9. theorem OAI.RadialFootprints.projected_halfheight_trapezoid line 87