∀ {C : Type u} [inst : CategoryTheory.Category.{v, u} C] [inst_1 : CategoryTheory.Limits.HasZeroMorphisms C] {X Y : C},
  CategoryTheory.Limits.cokernelZeroIsoTarget.hom =
    CategoryTheory.Limits.cokernel.desc 0 (CategoryTheory.CategoryStruct.id Y) ⋯