Theorem Polynomial.derivativeFinsupp_one

Modification history