{C : Type u_1} →
  {inst : CategoryTheory.Category.{u_3, u_1} C} →
    {inst_1 : CategoryTheory.Abelian C} →
      {κ : Type u_2} → {c : ℤ → ComplexShape κ} → {r₀ : ℤ} → CategoryTheory.SpectralSequence C c r₀ → ℕ