Presentable objects are stable under retracts

theorem CategoryTheory.Retract.isCardinalPresentable {C : Type u} [Category.{v, u} C] {X Y : C} (h : Retract Y X) (κ : Cardinal.{w}) [Fact κ.IsRegular] [IsCardinalPresentable X κ] : IsCardinalPresentable Y κ

instance CategoryTheory.instIsStableUnderRetractsIsCardinalPresentable {C : Type u} [Category.{v, u} C] (κ : Cardinal.{w}) [Fact κ.IsRegular] : (isCardinalPresentable C κ).IsStableUnderRetracts