OAI/Algebra/AuslanderReiten/Evaluation/ConcreteEvaluatedConeShift.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ArExplicit.T.coneCokernel_right_projective line 20
2. theorem OAI.ArExplicit.T.firstTailCosyzygies_right_projective line 34
3. abbrev OAI.ArExplicit.T.evaluatedConeModule line 45
4. def OAI.ArExplicit.T.evaluatedConeSuccessorIso line 48
5. def OAI.ArExplicit.T.evaluatedBranchTargetShiftIso line 65