{f : ℝ → ℝ} (hf : ExpBounded f) (i : Fin d) : ExpBounded (fun x : Vd d => f (x i))

Initializing...

{f : ℝ → ℝ} (hf : ExpBounded f) (i : Fin d) : ExpBounded (fun x : Vd d => f (x i)) · Prove2Me