Def FixedPoints.toAlgHomEquiv

Modification history

2024-10-23 21:11
Mathlib/FieldTheory/Fixed.lean
feat(FieldTheory/Fixed): Finite group surjects onto automorphisms fixing the fixed field (#18143) …
Modified FixedPoints.toAlgHomEquivView on Github →
2024-02-06 21:44
Mathlib/FieldTheory/Fixed.lean
chore(FieldTheory/Fixed): `Fintype` -> `Finite` (#10310)
Modified FixedPoints.toAlgHomEquivView on Github →
2023-06-09 16:56
Mathlib/FieldTheory/Fixed.lean
feat: port FieldTheory.Fixed (#4890)
Added FixedPoints.toAlgHomEquivView on Github →