∀ {V : Type u_1} [inst : CategoryTheory.Category.{v_1, u_1} V] {G : Type u_2} [inst_1 : Monoid G] {C : Type u_3}
  [inst_2 : CategoryTheory.Category.{v_2, u_3} C] (F : CategoryTheory.Functor C (Action V G)),
  CategoryTheory.Limits.PreservesColimitsOfSize.{w₂, w₁, v_2, v_1, u_3, u_1} (F.comp (Action.forget V G)) →
    CategoryTheory.Limits.PreservesColimitsOfSize.{w₂, w₁, v_2, v_1, u_3, max (max u_1 u_2) v_1} F