Theorem Polynomial.not_dvd_of_natDegree_lt

Modification history