Def CategoryTheory.Pretriangulated.shortComplexOfDistTriangleIsoOfIso

Modification history