OAI/Geometry/Cannon/PlaneTopology/FreeArcDeleteConnected.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.free_arc_delete_connected line 55
2. lemma OAI.CannonEmbeddedArc.Arc.compatible_pair_complement line 72
3. lemma OAI.CannonEmbeddedArc.Arc.at_most_two_edges_complement line 99
4. theorem OAI.CannonEmbeddedArc.Arc.face_edges_card_three line 117
5. lemma OAI.CannonEmbeddedArc.Arc.face_finite line 164
6. theorem OAI.CannonEmbeddedArc.Arc.total_face_incidence_le line 173