∀ (𝕜 : Type u_1) (ι' : Type u_4) (G : Type u_3) (G' : Type u_2) [inst : NontriviallyNormedField 𝕜]
  [inst_1 : NormedAddCommGroup G] [inst_2 : NormedSpace 𝕜 G] [inst_3 : NormedAddCommGroup G']
  [inst_4 : NormedSpace 𝕜 G'], SMulCommClass 𝕜 𝕜 (ContinuousMultilinearMap 𝕜 (fun x => G) G')