{p q : MvPolynomial (Fin d) ℂ} (hp : RealCoeff p) (hq : RealCoeff q) : RealCoeff (p + q)

Initializing...

{p q : MvPolynomial (Fin d) ℂ} (hp : RealCoeff p) (hq : RealCoeff q) : RealCoeff (p + q) · Prove2Me