Commit 2026-03-04 18:26 e1cd9098
View on Github →feat(IsGaloisGroup): if B/A and B/A' are Galois with the same Galois group, then A ≃+* A' (#35797)
feat(IsGaloisGroup): if B/A and B/A' are Galois with the same Galois group, then A ≃+* A' (#35797)