Theorem Polynomial.monic_X_add_C

Modification history