∀ {ι : Type u_4} {R : Type u_1} [inst : CommSemiring R] {s : ι → Type u_5} [inst_1 : (i : ι) → AddCommMonoid (s i)]
  [inst_2 : (i : ι) → Module R (s i)] {t : ι → Type u_2} {t' : ι → Type u_3} [inst_3 : (i : ι) → AddCommMonoid (t i)]
  [inst_4 : (i : ι) → Module R (t i)] [inst_5 : (i : ι) → AddCommMonoid (t' i)] [inst_6 : (i : ι) → Module R (t' i)],
  SMulCommClass R R (MultilinearMap R s (PiTensorProduct R fun i => t i →ₗ[R] t' i))