change Function.HasTemperateGrowth ((fun v : EuclideanSpace ℝ ι => inner v w) ∘ ⇑(EuclideanSpace.equiv ι ℝ).symm.toContinuousLinearMap)
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 => ∑ i : ι, v i * w i
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 ι ℝ)))