Theorem Real.vector_fourierIntegral_eq_integral_exp_smul

Modification history