OAI/Geometry/CylinderCovering/Footprints/Containment.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CylinderCovering.FootprintContainment.canonical_radial_error line 8
2. theorem OAI.CylinderCovering.FootprintContainment.canonical_transverse_error line 17
3. theorem OAI.CylinderCovering.FootprintContainment.arbitrary_tag_absolute_footprint line 29
4. theorem OAI.CylinderCovering.FootprintContainment.midpoint_absolute_footprint line 52
5. theorem OAI.CylinderCovering.FootprintContainment.midpoint_affine_footprint line 75
6. theorem OAI.CylinderCovering.FootprintContainment.endpoint_affine_footprint line 102
7. theorem OAI.CylinderCovering.FootprintContainment.unit_edge_triangle line 136
8. theorem OAI.CylinderCovering.FootprintContainment.halfheight_trapezoid line 168
9. theorem OAI.CylinderCovering.FootprintContainment.halfheight_displacement line 190
10. theorem OAI.CylinderCovering.FootprintContainment.absolute_footprint_not_convex line 200