Theorem FixedPoints.toAlgAut_surjective

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.toAlgAut_surjectiveView on Github →