gal): generalise a little (#16012)

Commit

3 years ago

feat(number_theory/cyclotomic/gal): generalise a little (#16012) Found using the generalisation linter.

Author

ericrbg

Parents