OAI/Geometry/Cannon/PlaneTopology/InteriorBallCover.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.interior_ball_cover line 18
2. lemma OAI.CannonTriangleWinding.generic_union_iff line 123
3. lemma OAI.CannonTriangleWinding.closure_eq_of_dense_inter_eq line 148
4. theorem OAI.CannonTriangleWinding.triangle_closures_fill line 157
5. lemma OAI.CannonEmbeddedArc.Arc.FacialCycle.inside_of_interior line 192
6. lemma OAI.CannonEmbeddedArc.Arc.developed_edges_generic_dense line 215
7. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.interior_disks_disjoint line 232