Theorem Polynomial.X_pow_mul_assoc_C

Modification history