Theorem Polynomial.X_sub_C_pow_dvd_iff

Modification history