Theorem Polynomial.not_isUnit_of_natDegree_pos

Modification history