Theorem Polynomial.divX_C

Modification history