OAI/Geometry/Cannon/PlanarGraphs/Plane.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CannonFiniteFaces.finite_components_of_dense_regions line 24
2. lemma OAI.CannonFiniteFaces.nonzero_functional_surjective line 61
3. theorem OAI.CannonFiniteFaces.hyperplane_chambers line 74
4. theorem OAI.CannonFiniteFaces.finite_components_hyperplane_support line 119
5. abbrev OAI.CannonFiniteFaces.Plane line 130
6. theorem OAI.CannonFiniteFaces.segment_supporting_line line 132
7. theorem OAI.CannonFiniteFaces.finite_components_segment_support line 159
8. theorem OAI.CannonFiniteFaces.finite_components_chart_support line 169