OAI/Geometry/Cannon/PlaneTopology/IncidentFaces.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CannonEmbeddedArc.Arc.IncidentFaces line 17
2. abbrev OAI.CannonEmbeddedArc.Arc.IncidentEdges line 18
3. def OAI.CannonEmbeddedArc.Arc.vertexFaceGraph line 19
4. theorem OAI.CannonEmbeddedArc.Arc.vertexFaceGraph_preconnected line 27
5. def OAI.CannonEmbeddedArc.Arc.vertexLink line 117
6. lemma OAI.CannonEmbeddedArc.Arc.edge_face_unique_two line 126
7. theorem OAI.CannonEmbeddedArc.Arc.vertexLink_isCycles line 146
8. theorem OAI.CannonEmbeddedArc.Arc.vertexLink_preconnected line 205