Commit 2025-01-20 15:19 981f44b2
View on Github →feat(RingTheory/Invariant): Galois extensions satisfy Algebra.IsInvariant (#20106)
This PR shows that Galois extensions satisfy Algebra.IsInvariant. This enables the theory of Frobenius elements to be applied to Galois extensions.