exact (Real.hasTemperateGrowth_inner_const _).comp (Function.hasTemperateGrowth_clm _)
E : Type u_1
F : Type u_2
inst✝⁴ : NormedAddCommGroup E
inst✝³ : NormedSpace ℝ E
inst✝² : NormedAddCommGroup F
inst✝¹ : InnerProductSpace ℝ F
ι : Type u_3
inst✝ : Fintype ι
w : ι → ℝ
⊢ Function.HasTemperateGrowth ((fun v => ⟪v, w⟫_ℝ) ∘ ⇑↑(ContinuousLinearEquiv.symm (EuclideanSpace.equiv ι ℝ)))
no goals