Theorem Polynomial.degree_derivative_eq

Modification history