Theorem Polynomial.separable_prod_X_sub_C_iff'

Modification history