OAI/Geometry/Cannon/PlaneTopology/NoncutEdgeTwoFaces.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.noncut_edge_two_faces line 60
2. theorem OAI.CannonEmbeddedArc.Arc.noncut_total_face_incidence line 121
3. theorem OAI.CannonEmbeddedArc.Arc.triangle_region_edges line 146
4. theorem OAI.CannonEmbeddedArc.Arc.noncut_facial_vertices_edges line 181