Theorem Polynomial.sub_comp

Modification history