Theorem Polynomial.X_pow_comp

Modification history