OAI/Geometry/Cannon/PlaneTopology/MetricStarFlat.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.metric_star_flat line 18
2. lemma OAI.CannonEmbeddedArc.Arc.facial_vertex_has_edge line 123
3. lemma OAI.CannonEmbeddedArc.Arc.facial_edge_ends line 143
4. theorem OAI.CannonEmbeddedArc.Arc.proper_facial_bound line 156