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