Theorem Polynomial.eval_multiset_prod_X_sub_C_derivative

Modification history