exact hasTemperateGrowth_clm _
ι : 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
inst✝ : Fintype ι
⊢ HasTemperateGrowth fun x => (ContinuousMultilinearMap.mkPiRingL ℝ F) x
no goals