Theorem Polynomial.IsMonicOfDegree.ne_zero

Modification history