Commit 2020-11-27 14:25 876481ef
View on Github →feat(field_theory/separable): add separable_of_X_pow_sub_C and squarefree_of_X_pow_sub_C (#5052)
I've added that X ^ n - a is separable, and so squarefree.
feat(field_theory/separable): add separable_of_X_pow_sub_C and squarefree_of_X_pow_sub_C (#5052)
I've added that X ^ n - a is separable, and so squarefree.