OAI/Geometry/Cannon/PlanarGraphs/HomeomorphComponents.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonFaceIncidence.homeomorphComponents line 55
2. def OAI.CannonFaceIncidence.componentsDeletionEquiv line 67
3. lemma OAI.CannonFaceIncidence.region_disjoint_components line 102
4. lemma OAI.CannonFaceIncidence.connected_components_card_one line 108