gal): the Galois group of K(ζₙ) (#11808)

Commit

4 years ago

feat(number_theory/cyclotomic/gal): the Galois group of K(ζₙ) (#11808) from flt-regular!

Author

ericrbg

Parents