Theorem Polynomial.derivative_nat_cast

Modification history