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