Theorem Polynomial.derivativeFinsupp_X

Modification history