simp [hasTemperateGrowth_const]
case empty
ι : Type u_1
inst✝⁴ : DecidableEq ι
E : Type u_2
inst✝³ : NormedAddCommGroup E
inst✝² : NormedSpace ℝ E
F : Type u_3
inst✝¹ : NormedAddCommGroup F
inst✝ : NormedSpace ℝ F
f : ι → E → ℝ
hf : ∀ i ∈ ∅, HasTemperateGrowth (f i)
⊢ HasTemperateGrowth fun x => ∏ i in ∅, f i x
no goals