Theorem Polynomial.X_pow_sub_one_separable_iff

Modification history