∀ (E : Type u_2) (F : Type u_1) [inst : NormedAddCommGroup E] [inst_1 : MeasurableSpace E] [inst_2 : BorelSpace E]
  [inst_3 : NormedAddCommGroup F] [inst_4 : InnerProductSpace ℂ F] [CompleteSpace F] [inst_6 : InnerProductSpace ℝ E]
  [inst_7 : FiniteDimensional ℝ E], FourierInvPair (SchwartzMap E F) (SchwartzMap E F)