OAI/Geometry/HyperbolicGroups/ConeFanGroup.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HyperbolicObstruction.MasterGraph.Path.eval_potential line 14
2. lemma OAI.HyperbolicObstruction.MasterGraph.Path.eval_comp line 34
3. def OAI.HyperbolicObstruction.ConeSkeleton.radialValue line 51
4. lemma OAI.HyperbolicObstruction.ConeSkeleton.fanTriangle_relation line 54
5. def OAI.HyperbolicObstruction.ConeSkeleton.fanPotential line 66
6. lemma OAI.HyperbolicObstruction.ConeSkeleton.fanPotential_edge line 71
7. lemma OAI.HyperbolicObstruction.ConeSkeleton.fan_relator_value line 82