Theorem Polynomial.degree_eq_zero_of_isUnit

Modification history