∫ Утверждение Mathlib
finrank_fixedField_eq_card
Mathlib.FieldTheory.Galois.Basic
URI: https://scilib.ai/kg/mathlib#IntermediateField.finrank_fixedField_eq_card
∫ Утверждение Mathlib
Mathlib.FieldTheory.Galois.Basic
URI: https://scilib.ai/kg/mathlib#IntermediateField.finrank_fixedField_eq_card