OAI/Geometry/HyperbolicGroups/PictureStarGraph.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HyperbolicObstruction.PictureSwitch.PictureMap.starOldVertex line 19
2. lemma OAI.HyperbolicObstruction.PictureSwitch.PictureMap.starOldVertex_class line 23
3. lemma OAI.HyperbolicObstruction.PictureSwitch.PictureMap.starOldVertex_injective line 27
4. def OAI.HyperbolicObstruction.PictureSwitch.PictureMap.starOldHom line 35
5. lemma OAI.HyperbolicObstruction.PictureSwitch.PictureMap.triangulation_connected line 43