Theorem Polynomial.prod_X_sub_C_nextCoeff

Modification history