Def category_theory.triangulated.contractible_triangle

Modification history