Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(field_theory/splitting_field): add splits_X theorem (#5343)
This is a handy result and isn't definitionally a special case of splits_X_sub_C
- Loading branch information