Theorem Polynomial.pow_comp

Modification history