Theorem Polynomial.dvd_C_mul

Modification history