∀ {C : Type u_2} [inst : CategoryTheory.Category.{u_1, u_2} C] (X : CategoryTheory.Ind C),
  CategoryTheory.Limits.HasColimit
    (X.presentation.F.comp (CategoryTheory.Ind.yoneda.comp (CategoryTheory.Ind.inclusion C)))