Def FixedPoints.toAlgAutMulEquiv

Modification history

2024-10-23 21:11
Mathlib/FieldTheory/Fixed.lean
feat(FieldTheory/Fixed): Finite group surjects onto automorphisms fixing the fixed field (#18143) …
Added FixedPoints.toAlgAutMulEquivView on Github →