Theorem FixedPoints.finrank_eq_card

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

2023-06-09 16:56

Mathlib/FieldTheory/Fixed.lean

feat: port FieldTheory.Fixed (#4890)

Added FixedPoints.finrank_eq_card View on Github →