Grothendieck categories have a coseparator

instance CategoryTheory.IsGrothendieckAbelian.instHasCoseparator {C : Type u} [Category.{v, u} C] [Abelian C] [IsGrothendieckAbelian.{w, v, u} C] : HasCoseparator C