OAI/Geometry/Cannon/PlaneTopology/BoundaryBallCover.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.boundary_ball_cover line 19
2. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.pair_edge line 154
3. lemma OAI.CannonEmbeddedArc.Arc.Spans.developed_length line 170
4. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.developed_length line 178
5. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.interior_of_inside line 186
6. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.disk_disjoint_of_interior line 225
7. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.circle_packing line 288