Theorem Polynomial.derivative_X_sub_C_pow

Modification history