∀ {C : Type u₁} [inst : CategoryTheory.Category.{v₁, u₁} C] {W : CategoryTheory.MorphismProperty C} {X Y : C},
  Small.{w, max u₁ v₁} (W.Q.obj X ⟶ W.Q.obj Y) → CategoryTheory.Localization.HasSmallLocalizedHom W X Y