Commit 2026-05-09 15:32 1ad783f9
View on Github →feat(FieldTheory/Galois/IsGaloisGroup): the top subgroup of a Galois group is a Galois group (#39093)
This PR proves IsGaloisGroup (⊤ : Subgroup G) A B ↔ IsGaloisGroup G A B.
feat(FieldTheory/Galois/IsGaloisGroup): the top subgroup of a Galois group is a Galois group (#39093)
This PR proves IsGaloisGroup (⊤ : Subgroup G) A B ↔ IsGaloisGroup G A B.