OAI/Algebra/AuslanderReiten/Coordinates/BranchHomCoordinates.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.ArExplicit.T.branchTargetObject line 18
2. abbrev OAI.ArExplicit.T.BranchHom line 21
3. def OAI.ArExplicit.T.branchTargetGradedIso line 23
4. def OAI.ArExplicit.T.branchHomEquiv line 28
5. def OAI.ArExplicit.T.branchPlainHomEquiv line 31