{E : Type u_1} →
  [inst : NormedAddCommGroup E] →
    [NormedSpace ℂ E] →
      {V : Type u_2} →
        [inst : NormedAddCommGroup V] →
          [inst_1 : InnerProductSpace ℝ V] →
            [inst_2 : MeasurableSpace V] →
              [BorelSpace V] → [FiniteDimensional ℝ V] → FourierTransformInv (V → E) (V → E)