Theorem Polynomial.natDegree_eq_zero_of_derivative_eq_zero

Modification history