Theorem Polynomial.X_mul_C

Modification history