OAI/Geometry/Cannon/PlaneTopology/RegionEdges.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonEmbeddedArc.Arc.interior_dense_interval line 43
2. lemma OAI.CannonEmbeddedArc.Arc.range_in_closed_of_interior line 49
3. lemma OAI.CannonEmbeddedArc.Arc.graph_no_isolated line 58
4. def OAI.CannonEmbeddedArc.Arc.regionEdges line 67
5. lemma OAI.CannonEmbeddedArc.Arc.region_edge_in_closure line 70
6. theorem OAI.CannonEmbeddedArc.Arc.tame_region_closure line 83
7. def OAI.CannonEmbeddedArc.Arc.pullChart line 144
8. lemma OAI.CannonEmbeddedArc.Arc.map_pullChart line 153
9. lemma OAI.CannonEmbeddedArc.Arc.pullChart_range line 157
10. lemma OAI.CannonEmbeddedArc.Arc.pullChart_compatible line 166