OAI/Geometry/Cannon/PlaneTopology/FaceClosuresCover.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonEmbeddedArc.Arc.face_closures_cover line 56
2. lemma OAI.CannonEmbeddedArc.Arc.face_boundary_edges line 70
3. lemma OAI.CannonEmbeddedArc.Arc.faceVertices_nontrivial line 85
4. lemma OAI.CannonEmbeddedArc.Arc.arc_label_interval line 96
5. lemma OAI.CannonEmbeddedArc.Arc.arc_punctured_endpoint_label line 102
6. lemma OAI.CannonEmbeddedArc.Arc.fan_to_center_label line 120
7. theorem OAI.CannonEmbeddedArc.Arc.stellar_old_point_no_cut line 141
8. lemma OAI.CannonEmbeddedArc.Arc.face_spoke_avoiding line 217
9. theorem OAI.CannonEmbeddedArc.Arc.stellar_new_point_no_cut line 247
10. theorem OAI.CannonEmbeddedArc.Arc.global_stellation_no_cut_points line 288
11. theorem OAI.CannonEmbeddedArc.Arc.edge_interior_complement_preconnected line 313
12. theorem OAI.CannonEmbeddedArc.Arc.edge_on_tame_cycle line 417