{E : Type u_3} →
  {F : Type u_4} →
    [inst : NormedAddCommGroup E] →
      [inst_1 : NormedAddCommGroup F] →
        [inst_2 : NormedSpace ℝ E] →
          [inst_3 : NormedSpace ℂ F] → LineDeriv E (TemperedDistribution E F) (TemperedDistribution E F)