{X : SSet} →
  {A : X.Subcomplex} →
    {ι : Type u_1} →
      {U : ι → X.Subcomplex} →
        {V : ι → ι → X.Subcomplex} →
          (h : A.MulticoequalizerDiagram U V) →
            [inst : LinearOrder ι] →
              CategoryTheory.Limits.IsColimit
                ((CompleteLattice.MulticoequalizerDiagram.multicofork h).toLinearOrder.map
                  SSet.Subcomplex.toSSetFunctor)