Theorem Polynomial.isUnit_iff_degree_eq_zero

Modification history