Theorem Polynomial.Separable.inj_of_prod_X_sub_C

Modification history