∀ (𝕜 : Type u_1) {n : ℕ} (Ei : Fin n.succ → Type u_3) (G : Type u_2) [inst : NontriviallyNormedField 𝕜]
  [inst_1 : (i : Fin n.succ) → NormedAddCommGroup (Ei i)] [inst_2 : (i : Fin n.succ) → NormedSpace 𝕜 (Ei i)]
  [inst_3 : NormedAddCommGroup G] [inst_4 : NormedSpace 𝕜 G],
  SMulCommClass 𝕜 𝕜 (ContinuousMultilinearMap 𝕜 (fun i => Ei i.succ) G)