{f g : E → ℝ} (hf : ExpBounded f) (hg : ExpBounded g) : ExpBounded (fun x => f x + g x)

Initializing...

{f g : E → ℝ} (hf : ExpBounded f) (hg : ExpBounded g) : ExpBounded (fun x => f x + g x) · Prove2Me