Theorem Polynomial.derivativeFinsupp_derivative

Modification history