OAI/Geometry/HyperbolicGroups/RelativeFaceCounts.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.count_faces_in line 26
2. abbrev OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.SelectedFace line 45
3. instance OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.(instance at line 46) line 46
4. def OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actualTopCount line 48
5. def OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actualTriangleCount line 49
6. def OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actualSquareCount line 50
7. def OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actualSixCount line 51
8. def OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actualArea line 52
9. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.sum_top_count line 54
10. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.sum_triangle_count line 58
11. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actual_area_eq line 63
12. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actual_weights_top line 83
13. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actual_weights_square line 88
14. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actual_weights_six line 91
15. lemma OAI.HyperbolicObstruction.ConeSkeleton.RelDisk.actual_weights_fan line 94