Quotient categories are locally small

instance CategoryTheory.Quotient.instLocallySmall {C : Type u} [Category.{v, u} C] (r : HomRel C) [LocallySmall.{w, v, u} C] : LocallySmall.{w, v, u} (Quotient r)