Idempotent completeness of categories of simplicial objects

In this file, we provide an instance expressing that SimplicialObject C and CosimplicialObject C are idempotent complete categories when the category C is.

instance CategoryTheory.Idempotents.instIsIdempotentCompleteSimplicialObject {C : Type u_1} [Category.{u_2, u_1} C] [IsIdempotentComplete C] : IsIdempotentComplete (SimplicialObject C)

instance CategoryTheory.Idempotents.instIsIdempotentCompleteCosimplicialObject {C : Type u_1} [Category.{u_2, u_1} C] [IsIdempotentComplete C] : IsIdempotentComplete (CosimplicialObject C)