Theorem Polynomial.X_add_C_ne_one

Modification history