{𝕜 : Type u_2} →
  {E : Type u_5} →
    {F : Type u_6} →
      [inst : NormedAddCommGroup E] →
        [inst_1 : NormedSpace ℝ E] →
          [inst_2 : NormedAddCommGroup F] →
            [inst_3 : NormedSpace ℝ F] →
              [inst_4 : NormedField 𝕜] → [inst_5 : NormedSpace 𝕜 F] → [SMulCommClass ℝ 𝕜 F] → SMul 𝕜 (SchwartzMap E F)