P
Initializing...
(p : Polynomial ℝ) : ExpBounded (fun x => p.eval x) · Prove2Me