Theorem Polynomial.derivativeFinsupp_C

Modification history