Krull dimension of polynomial ring

This file proves properties of the krull dimension of the polynomial ring over a commutative ring

Main results

• Polynomial.ringKrullDim_le: the krull dimension of the polynomial ring over a commutative ring R is less than 2 * (ringKrullDim R) + 1.

theorem Polynomial.ringKrullDim_le {R : Type u_1} [CommRing R] : ringKrullDim (Polynomial R) ≤ 2 * ringKrullDim R + 1