Theorem Polynomial.natDegree_eq_zero_of_isUnit

Modification history