OAI/Geometry/Cannon/PlaneTopology/DualGraph.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonEmbeddedArc.Arc.dualGraph line 16
2. theorem OAI.CannonEmbeddedArc.Arc.dualGraph_preconnected line 22
3. theorem OAI.CannonEmbeddedArc.Arc.complement_preconnected_of_dual line 75
4. theorem OAI.CannonEmbeddedArc.Arc.nonseparating_isAcyclic line 126