OAI/Geometry/Cannon/PlanarGraphs/EdgeGraph.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonForest.empty_of_no_leaves line 12
2. def OAI.CannonGraphGauge.edgeGraph line 44
3. def OAI.CannonGraphGauge.goodEdges line 52
4. lemma OAI.CannonGraphGauge.mem_goodEdges line 55
5. theorem OAI.CannonGraphGauge.exists_connected_good line 60
6. theorem OAI.CannonGraphGauge.exists_connected_good_restrict line 107
7. theorem OAI.CannonGraphGauge.label_equal_of_other_edges line 133