∫ Утверждение Mathlib
krullDim_eq_length_of_finiteDimensionalOrder
Mathlib.Order.KrullDimension
URI: https://scilib.ai/kg/mathlib#Order.krullDim_eq_length_of_finiteDimensionalOrder
∫ Утверждение Mathlib
Mathlib.Order.KrullDimension
URI: https://scilib.ai/kg/mathlib#Order.krullDim_eq_length_of_finiteDimensionalOrder