{f : E → ℝ} (hf : ExpBounded f) (a : ℝ) : ExpBounded (fun x => a * f x) · Prove2Me

P

Initializing...

{f : E → ℝ} (hf : ExpBounded f) (a : ℝ) : ExpBounded (fun x => a * f x) · Prove2Me