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