Def CategoryTheory.Pretriangulated.shortComplexOfDistTriangle

Modification history