∀ {β : Type u_2} [inst : AddCommGroup β] {b : β} {V : Type u_1} [inst_1 : CategoryTheory.Category.{u_3, u_1} V]
  [inst_2 : CategoryTheory.Limits.HasZeroMorphisms V]
  (X : CategoryTheory.DifferentialObject ℤ (CategoryTheory.GradedObjectWithShift b V)) {i j : β},
  i = j → X.obj i = X.obj j