Theorem Polynomial.ringKrullDim_of_isNoetherianRing

Modification history

2026-01-10 16:04

Mathlib/RingTheory/KrullDimension/Polynomial.lean

feat(RingTheory/KrullDimension): dimension of polynomial ring (#27542) …

Added Polynomial.ringKrullDim_of_isNoetherianRing View on Github →