Theorem Polynomial.divX_add

Modification history