OAI/Geometry/HyperbolicGroups/IndexedFanCards.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.HyperbolicObstruction.FanLink.IndexedFanData.TurnIndex line 17
2. abbrev OAI.HyperbolicObstruction.FanLink.IndexedFanData.TriangleIndex line 18
3. lemma OAI.HyperbolicObstruction.FanLink.IndexedFanData.turnIndex_card line 20
4. lemma OAI.HyperbolicObstruction.FanLink.IndexedFanData.triangleIndex_card line 32
5. abbrev OAI.HyperbolicObstruction.FanLink.IndexedFanData.BoundaryIndex line 44
6. lemma OAI.HyperbolicObstruction.FanLink.IndexedFanData.boundaryIndex_card line 47
7. lemma OAI.HyperbolicObstruction.FanLink.IndexedFanData.family_turnIndex_card line 65
8. lemma OAI.HyperbolicObstruction.FanLink.IndexedFanData.family_natTurnIndex_card line 68
9. lemma OAI.HyperbolicObstruction.FanLink.IndexedFanData.family_natBoundaryIndex_card line 71
10. lemma OAI.HyperbolicObstruction.FanLink.IndexedFanData.family_natTriangleIndex_card line 74