OAI/Geometry/HyperbolicGroups/ActualFaceCounts.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HyperbolicObstruction.ConeSkeleton.count_faces_in line 22
2. abbrev OAI.HyperbolicObstruction.ConeSkeleton.SelectedFace line 41
3. instance OAI.HyperbolicObstruction.ConeSkeleton.(instance at line 42) line 42
4. def OAI.HyperbolicObstruction.ConeSkeleton.actualTopCount line 44
5. def OAI.HyperbolicObstruction.ConeSkeleton.actualTriangleCount line 45
6. def OAI.HyperbolicObstruction.ConeSkeleton.actualSquareCount line 46
7. def OAI.HyperbolicObstruction.ConeSkeleton.actualSixCount line 47
8. def OAI.HyperbolicObstruction.ConeSkeleton.actualArea line 48
9. lemma OAI.HyperbolicObstruction.ConeSkeleton.sum_top_count line 50
10. lemma OAI.HyperbolicObstruction.ConeSkeleton.sum_triangle_count line 54
11. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_area_eq line 59
12. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_weights_top line 79
13. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_weights_square line 84
14. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_weights_six line 87
15. lemma OAI.HyperbolicObstruction.ConeSkeleton.actual_weights_fan line 90