is_splitting_field): use `root_set` (#19179)

Commit

2 years ago

refactor(field_theory/splitting_field/is_splitting_field): use `root_set` (#19179) Co-authored-by: Eric Rodriguez <ericrboidi@gmail.com>

Author

eric-wieser

Parents