Theorem Polynomial.isCoprime_X_sub_C_of_isUnit_sub

Modification history