Theorem Polynomial.separable_prod_X_sub_C_iff

Modification history