Theorem Polynomial.eq_C_of_derivative_eq_zero

Modification history