{R : Type u_1} →
  [inst : Semiring R] →
    {C : Type u_2} →
      [inst_1 : CategoryTheory.Category.{v_1, u_2} C] →
        [inst_2 : CategoryTheory.Preadditive C] →
          [CategoryTheory.Linear R C] →
            {ι : Type u_4} → {c : ComplexShape ι} → {X Y : HomologicalComplex C c} → SMul R (X ⟶ Y)