OAI/Geometry/Cannon/PlaneTopology/ClosedInsideSegment.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonTriangleWinding.closedInside_zero_segment line 14
2. lemma OAI.CannonTriangleWinding.frontier_hull_segments line 25
3. lemma OAI.CannonTriangleWinding.hull_inter_frontier line 49
4. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.frontier_edges line 83
5. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.common_vertex_of_frontier_inter line 94
6. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.common_vertex_of_hull_inter line 122
7. lemma OAI.CannonEmbeddedArc.Arc.vertex_inner_face line 148
8. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.hull_geometry line 165
9. lemma OAI.CannonEmbeddedArc.Arc.compactifiedFace_mapsTo line 218
10. lemma OAI.CannonEmbeddedArc.Arc.compactifiedFace_dist_bound line 227