Theorem IsGaloisGroup.of_ringEquiv

Modification history

2026-06-23 14:13

Mathlib/FieldTheory/Galois/IsGaloisGroup.lean

chore(FieldTheory/IsGaloisGroup): split file by imports (#40942) …

Modified IsGaloisGroup.of_ringEquiv View on Github →

2026-05-29 15:08

Mathlib/FieldTheory/Galois/IsGaloisGroup.lean

feat(FieldTheory/Galois/IsGaloisGroup): add `IsGaloisGroup.of_algEquiv` and `of_ringEquiv` (#38902) …

Added IsGaloisGroup.of_ringEquiv View on Github →