OAI/Algebra/AuslanderReiten/Complete/CompleteResolutionTail.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.nonnegativeTail line 13
2. theorem OAI.ArExplicit.nonnegativeTail_d line 20
3. abbrev OAI.ArExplicit.CompleteCokernel line 24
4. def OAI.ArExplicit.nonnegativeTailAugmentation line 27
5. theorem OAI.ArExplicit.nonnegativeTailAugmentation_f_zero line 37
6. theorem OAI.ArExplicit.nonnegativeTail_exactAt line 42
7. def OAI.ArExplicit.completeCokernelResolution line 58
8. def OAI.ArExplicit.transportProjectiveResolution line 90