Theorem Polynomial.comp_one

Modification history