∀ {E : Type u_5} {F : outParam (Type u_6)} {inst : TopologicalSpace E} {inst_1 : TopologicalSpace F}
  {inst_2 : FourierTransformInv E F} [self : ContinuousFourierInv E F], Continuous FourierTransformInv.fourierInv