Theorem Polynomial.smul_comp

Modification history