Theorem ringKrullDim_quotient_le

Modification history

2025-02-05 10:58

Mathlib/RingTheory/KrullDimension/Basic.lean

feat(RingTheory): `Ring.KrullDimLE` type class (#21452) …

Modified ringKrullDim_quotient_le View on Github →

2024-09-28 16:22

Mathlib/RingTheory/KrullDimension/Basic.lean

feat(RingTheory/Ideal/KrullDimension): define the Krull dimension of a ring (#14134) …

Added ringKrullDim_quotient_le View on Github →