Theorem Polynomial.Monic.degree_le_zero_iff_eq_one

Modification history