Theorem Polynomial.isPrimitive_iff_isUnit_of_C_dvd

Modification history