OAI/Geometry/HyperbolicGroups/ConeTopGroup.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HyperbolicObstruction.ConeSkeleton.topPotential line 18
2. lemma OAI.HyperbolicObstruction.ConeSkeleton.topPotential_edge line 25
3. lemma OAI.HyperbolicObstruction.ConeSkeleton.row_extendCore_fan line 57
4. lemma OAI.HyperbolicObstruction.ConeSkeleton.row_extendCore_top line 67
5. lemma OAI.HyperbolicObstruction.ConeSkeleton.top_relator_value line 78