OAI/Geometry/Cannon/PlaneTopology/IncidentEdges.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.repair_local line 22
2. def OAI.CannonEmbeddedArc.Arc.incidentEdges line 72
3. lemma OAI.CannonEmbeddedArc.Arc.original_incidence_count line 76
4. lemma OAI.CannonEmbeddedArc.Arc.breakpoints_local line 92
5. lemma OAI.CannonEmbeddedArc.Arc.simultaneous_old_breakpoints line 110
6. lemma OAI.CannonEmbeddedArc.Arc.count_ball_le_one line 133
7. lemma OAI.CannonEmbeddedArc.Arc.intersectionCount_reindex line 150
8. lemma OAI.CannonEmbeddedArc.Arc.support_reindex line 156
9. lemma OAI.CannonEmbeddedArc.Arc.vertex_reindex line 166
10. def OAI.CannonEmbeddedArc.Arc.stageBound line 174
11. theorem OAI.CannonEmbeddedArc.Arc.separated_stage line 176
12. def OAI.CannonEmbeddedArc.Arc.colorBound line 287
13. theorem OAI.CannonEmbeddedArc.Arc.colored_stages line 291
14. theorem OAI.CannonEmbeddedArc.Arc.colored_arc_graph line 338
15. theorem OAI.CannonRegularDisk.IsRegularDisk.exists_arc line 363