Theorem CategoryTheory.Pretriangulated.comp_distTriang_mor_zero₂₃

Modification history