exact (Function.hasTemperateGrowth_const_mul (2 * π)).cexp_real_smul_I
E : Type u_1
inst✝¹ : NormedAddCommGroup E
inst✝ : NormedSpace ℝ E
⊢ Function.HasTemperateGrowth fun x => cexp ((2 * π * x) • I)
no goals