Quasi-isomorphisms of short complexes are stable under retracts

theorem CategoryTheory.ShortComplex.quasiIso_of_retract {C : Type u_1} [Category.{u_2, u_1} C] [Limits.HasZeroMorphisms C] {S₁ T₁ S₂ T₂ : ShortComplex C} [S₁.HasHomology] [T₁.HasHomology] [S₂.HasHomology] [T₂.HasHomology] {f₁ : S₁ ⟶ T₁} {f₂ : S₂ ⟶ T₂} (h : RetractArrow f₁ f₂) [hf₂ : QuasiIso f₂] : QuasiIso f₁