∀ {A : Type u_1} {G : Type u_4} {V : Type u_2} {U : Type u_3} [inst : CommRing A] [inst_1 : Monoid G]
  [inst_2 : AddCommMonoid V] [inst_3 : AddCommMonoid U] [inst_4 : Module A V] [inst_5 : Module A U]
  (ρ : Representation A G V) (τ : Representation A G U), SMulCommClass A A (ρ.IntertwiningMap τ)