∀ {C : Type u} [inst : CategoryTheory.Category.{v, u} C] {D : Type u₁} [inst_1 : CategoryTheory.Category.{v₁, u₁} D]
  (G : CategoryTheory.Functor D C) [CategoryTheory.Limits.HasLimits D]
  [CategoryTheory.Limits.PreservesLimitsOfSize.{v₁, v₁, v₁, v, u₁, u} G],
  CategoryTheory.SolutionSetCondition G → G.IsRightAdjoint