Theorem Polynomial.content_X_mul

Modification history