OAI/Algebra/AuslanderReiten/Cones/ConcreteTwoConeCoordinates.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ArExplicit.T.twoConeBottomHom line 19
2. abbrev OAI.ArExplicit.T.twoConeMiddleHom line 21
3. abbrev OAI.ArExplicit.T.twoConeTopHom line 23
4. abbrev OAI.ArExplicit.T.twoConeSkeletonHom line 25
5. abbrev OAI.ArExplicit.T.twoConeHom line 27
6. def OAI.ArExplicit.T.twoConeBottomCoordinate line 30
7. def OAI.ArExplicit.T.twoConeMiddleCoordinate line 34
8. def OAI.ArExplicit.T.twoConeTopCoordinate line 37
9. def OAI.ArExplicit.T.concreteTwoConeFiltration line 40