OAI/Algebra/AuslanderReiten/Homology/TriangleHomExact.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.fullHomHomotopyLinearEquiv line 19
2. theorem OAI.ArExplicit.triangleHom_middle_exact line 44
3. theorem OAI.ArExplicit.triangleHom_top_exact line 56
4. theorem OAI.ArExplicit.triangleHom_bottom_exact line 68
5. theorem OAI.ArExplicit.shiftedTriangleHom_middle_exact line 80
6. theorem OAI.ArExplicit.shiftedTriangleHom_top_exact line 85
7. theorem OAI.ArExplicit.shiftedTriangleHom_bottom_exact line 90