Theorem ringKrullDim_mvPolynomial_of_infinite

Modification history

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