OAI/Geometry/Cannon/Topology/Plane.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CannonPlaneLinear.Plane line 40
2. def OAI.CannonPlaneLinear.complexPlaneL line 42
3. lemma OAI.CannonPlaneLinear.preimage_segment line 47
4. lemma OAI.CannonPlaneLinear.finite_segments_pull line 60
5. theorem OAI.CannonConnectedSupport.finite_extras_absorbed line 76
6. lemma OAI.CannonFaceLabels.complement_component_label_continuous line 113
7. lemma OAI.CannonFaceLabels.complement_components_discrete line 122