Theorem CategoryTheory.Pretriangulated.comp_dist_triangle_mor_zero₃₁

Modification history