Theorem IsGalois.finiteDimensional_of_finite

Modification history

2025-10-16 07:33
Mathlib/FieldTheory/Galois/Basic.lean
feat: notation for galois group (#30266) …
Modified IsGalois.finiteDimensional_of_finiteView on Github →
2025-09-27 10:51
Mathlib/FieldTheory/Galois/Basic.lean
feat(RingTheory/Invariant): residue field extension is finite (#25616)
Added IsGalois.finiteDimensional_of_finiteView on Github →