Theorem FixedPoints.toAlgHom_bijective

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.toAlgHom_bijectiveView on Github →
2023-06-09 16:56
Mathlib/FieldTheory/Fixed.lean
feat: port FieldTheory.Fixed (#4890)
Added FixedPoints.toAlgHom_bijectiveView on Github →