Theorem Polynomial.dvd_comp_X_add_C_iff

Modification history