OAI/Algebra/AuslanderReiten/Coordinates/TensorFiniteTop.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.T.topOneShift_natural line 22
2. def OAI.ArExplicit.T.topFourShiftIso line 49
3. theorem OAI.ArExplicit.T.topFourShift_natural line 53
4. theorem OAI.ArExplicit.T.sourceFourthToTail_top line 73
5. theorem OAI.ArExplicit.T.resolutionTailTop line 86
6. def OAI.ArExplicit.T.finiteTargetTop line 107
7. def OAI.ArExplicit.T.finiteSourceTop line 117
8. theorem OAI.ArExplicit.T.finiteLift_top line 121