∫ Утверждение Mathlib

fin_ringKrullDim_eq_add_of_isNoetherianRing

Mathlib.RingTheory.KrullDimension.Basic

URI: https://scilib.ai/kg/mathlib#MvPolynomial.fin_ringKrullDim_eq_add_of_isNoetherianRing

← MathLib Explorer