Theorem Polynomial.eq_c_of_derivative_eq_zero

Modification history