Commit 2026-06-19 15:34 c9ba3100
View on Github →chore(FieldTheory/Galois/IsGaloisGroup): generalize IsGaloisGroup.of_ringEquiv to surjective ring homs (#40805)
IsGaloisGroup.of_ringEquiv only uses surjectivity, so I have added the generalization that only assumes surjectivity.