Theorem CategoryTheory.Pretriangulated.comp_distTriang_mor_zero₁₂

Modification history