`monicPolyO a = Xⁿ + Σ aᵢ Xⁱ` is monic of degree `n` with lower coefficients `a`, and every monic polynomial of degree `n` arises from its coefficient vector.

Initializing...

`monicPolyO a = Xⁿ + Σ aᵢ Xⁱ` is monic of degree `n` with lower coefficients `a`, and every monic polynomial of degree `n` arises from its coefficient vector. · Prove2Me