OAI/Algebra/AuslanderReiten/Cones/TwoConeStableRepresentative.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ArExplicit.TwoCone.coneTailData line 19
2. abbrev OAI.ArExplicit.TwoCone.coneTermModule line 29
3. def OAI.ArExplicit.TwoCone.cokernelSuccessorShiftIso line 39
4. def OAI.ArExplicit.TwoCone.stableRepresentativeIso line 50
5. def OAI.ArExplicit.TwoCone.branchTargetShiftIso line 57