Theorem Polynomial.ne_zero_of_natDegree_gt

Modification history