OAI/Geometry/Cannon/PlaneTopology/FacialStar.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonEmbeddedArc.Arc.facial_closures_cover line 17
2. theorem OAI.CannonEmbeddedArc.Arc.common_vertex_at line 36
3. def OAI.CannonEmbeddedArc.Arc.facialStar line 82
4. lemma OAI.CannonEmbeddedArc.Arc.facialStar_closed line 86
5. theorem OAI.CannonEmbeddedArc.Arc.facialStar_interiors_cover line 91