∀ {C : Type u_3} {ι : Type u_1} [inst : CategoryTheory.Category.{u_2, u_3} C] [inst_1 : CategoryTheory.Abelian C]
  {c : ComplexShape ι} (i : ι), (HomologicalComplex.opcyclesFunctor C c i).PreservesZeroMorphisms