Commit 2025-11-30 13:26 39e8baaf
View on Github →feat(IsGaloisGroup): add IsGaloisGroup.toFractionRing (#32220)
This PR just extracts existing code to prove that, if G is a Galois group for B/A where A and B are domains, then one can define an action of FractionRing B such that G is a Galois group for (FractionRing B) / (FractionRing A).