Theorem Polynomial.Monic.natDegree_eq_zero_iff_eq_one

Modification history