∫ Утверждение Mathlib
jacobson_eq_nilradical_of_krullDimLE_zero
Mathlib.RingTheory.KrullDimension.Basic
URI: https://scilib.ai/kg/mathlib#Ring.jacobson_eq_nilradical_of_krullDimLE_zero
∫ Утверждение Mathlib
Mathlib.RingTheory.KrullDimension.Basic
URI: https://scilib.ai/kg/mathlib#Ring.jacobson_eq_nilradical_of_krullDimLE_zero