Monomorphisms are stable under cobase change

In an abelian category C, the class of morphism monomorphisms C is stable under cobase change and epimorphisms C is stable under base change.

instance CategoryTheory.Abelian.instIsStableUnderCobaseChangeMonomorphisms {C : Type u} [Category.{v, u} C] [Abelian C] : (MorphismProperty.monomorphisms C).IsStableUnderCobaseChange

instance CategoryTheory.Abelian.instIsStableUnderBaseChangeEpimorphisms {C : Type u} [Category.{v, u} C] [Abelian C] : (MorphismProperty.epimorphisms C).IsStableUnderBaseChange