Theorem Polynomial.comp_X

Modification history