Theorem Polynomial.derivative_ofNat

Modification history