Theorem Polynomial.add_comp

Modification history