∀ {ι : Type u_1} {𝕜 : Type u_3} {E : ι → Type u_4} [inst : Fintype ι] [inst_1 : RCLike 𝕜]
  [inst_2 : (i : ι) → SeminormedAddCommGroup (E i)] [inst_3 : (i : ι) → InnerProductSpace 𝕜 (E i)]
  (f g : (i : ι) → E i), RCLike.wInner RCLike.cWeight f g = Finset.univ.expect fun i => inner 𝕜 (f i) (g i)