{ι : Type u_1} →
  {V : Type u} →
    {inst : CategoryTheory.Category.{v, u} V} →
      {inst_1 : CategoryTheory.Limits.HasZeroMorphisms V} →
        {c : ComplexShape ι} → {A B : HomologicalComplex V c} → [SizeOf ι] → [SizeOf V] → A.Hom B → ℕ