P
Initializing...
(p : Polynomial ℝ) : Continuous (gaussPoly p) · Prove2Me