Commit 2023-12-26 21:14 44b647d2
View on Github →feat(FieldTheory/PolynomialGaloisGroup): The Galois group of an irreducible polynomial acts transitively on the roots (#9121) This PR adds a lemma stating that the Galois group of an irreducible polynomial acts transitively on the roots.