Theorem MvPolynomial.ringKrullDim_of_isNoetherianRing_of_finite

Modification history

2026-09-07 13:05
Mathlib/RingTheory/KrullDimension/Polynomial.lean
feat(RingTheory): krull dimension of a polynomial ring in an infinite number of variables (#41098) …
Added MvPolynomial.ringKrullDim_of_isNoetherianRing_of_finiteView on Github →