∫ Утверждение Mathlib
map_fieldRange
Mathlib.FieldTheory.IntermediateField.Adjoin.Defs
URI: https://scilib.ai/kg/mathlib#AlgHom.map_fieldRange
∫ Утверждение Mathlib
Mathlib.FieldTheory.IntermediateField.Adjoin.Defs
URI: https://scilib.ai/kg/mathlib#AlgHom.map_fieldRange