OAI/Geometry/HyperbolicGroups/WalkFanIncoming.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HyperbolicObstruction.ConeSkeleton.walk_vertex_inverse line 23
2. lemma OAI.HyperbolicObstruction.ConeSkeleton.walk_index_previous line 30
3. lemma OAI.HyperbolicObstruction.ConeSkeleton.walk_corner_incoming line 44
4. lemma OAI.HyperbolicObstruction.ConeSkeleton.walk_triangle_bipartite line 55
5. lemma OAI.HyperbolicObstruction.ConeSkeleton.walk_triangle_inverse_no_two line 63