mathlib
2c4a9855 - feat(field_theory/splitting_field): splits_pow (#6624)

Commit

4 years ago

feat(field_theory/splitting_field): splits_pow (#6624) If a polynomial splits then so do its powers.

Author

tb65536

Parents