∀ (E : Type u_1) (F : Type u_2) [inst : NormedAddCommGroup E] [inst_1 : NormedSpace ℝ E] [inst_2 : NormedAddCommGroup F]
  [inst_3 : NormedSpace ℝ F] (i : ℕ), ContinuousAdd (ContinuousMultilinearMap ℝ (fun i => E) F)