OAI/Algebra/AuslanderReiten/Cocycles/ReversedCocycleMap.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.CompleteComparison.reversedComponent line 15
2. theorem OAI.ArExplicit.CompleteComparison.reversedComponent_comm line 23
3. def OAI.ArExplicit.CompleteComparison.reversedCokernelMap line 43
4. theorem OAI.ArExplicit.CompleteComparison.reversedCokernelMap_mk line 55
5. theorem OAI.ArExplicit.CompleteComparison.sourceCocycleMap_eq_reversed line 60
6. theorem OAI.ArExplicit.CompleteComparison.reversedComponent_product line 70
7. theorem OAI.ArExplicit.CompleteComparison.reversedCokernelMap_product line 78
8. theorem OAI.ArExplicit.CompleteComparison.reversedCokernelMap_syzygy line 90