Theorem Polynomial.degree_pos_of_ne_zero_of_nonunit

Modification history