Commit 2020-12-19 20:45 1cb97275
View on Github →feat(field_theory/galois): Separable splitting field is Galois (#5347) Proves that a splitting field of a separable polynomial is Galois by showing that it has lots of automorphisms.
feat(field_theory/galois): Separable splitting field is Galois (#5347) Proves that a splitting field of a separable polynomial is Galois by showing that it has lots of automorphisms.