{E : Type u_1} →
  [inst : NormedAddCommGroup E] →
    [inst_1 : NormedSpace ℂ E] →
      {V : Type u_2} →
        {W : Type u_3} →
          [inst_2 : NormedAddCommGroup V] →
            [inst_3 : NormedSpace ℝ V] →
              [inst_4 : NormedAddCommGroup W] →
                [inst_5 : NormedSpace ℝ W] → (V →L[ℝ] W →L[ℝ] ℝ) → (V → E) → V → FormalMultilinearSeries ℝ W E