Theorem Algebra.isInvariant_of_isGalois'

Modification history

2025-02-13 06:13
Mathlib/RingTheory/Invariant.lean
feat(NumberTheory/RamificationInertia): `ramificationIdx` and `inertiaDeg` in Galois extensions (#20899) …
Added Algebra.isInvariant_of_isGalois'View on Github →