OAI/Geometry/Cannon/PlaneTopology/NetArcGraphSet.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonEmbeddedArc.Arc.net_arc_graph_in_set line 28
2. theorem OAI.CannonRelease.boundary_uniform_polygonal_graph line 86
3. theorem OAI.CannonRelease.boundary_uniform_connected_polygonal_loop_graph line 170
4. theorem OAI.CannonRelease.boundary_uniform_connected_polygonal_complement_graph line 281