∫ Утверждение Mathlib
ofCMExtension
Mathlib.NumberTheory.NumberField.CMField
URI: https://scilib.ai/kg/mathlib#NumberField.IsCMField.ofCMExtension
∫ Утверждение Mathlib
Mathlib.NumberTheory.NumberField.CMField
URI: https://scilib.ai/kg/mathlib#NumberField.IsCMField.ofCMExtension