Commit 2021-03-11 13:28 2c4a9855
View on Github →feat(field_theory/splitting_field): splits_pow (#6624) If a polynomial splits then so do its powers.
feat(field_theory/splitting_field): splits_pow (#6624) If a polynomial splits then so do its powers.