Finite presentation of end terms of almost split sequences
Finite-presentation conjecture. The module ZZZ is finitely presented.
MathDB