Theorem nilradical_le_jacobson

Modification history

2025-02-25 14:06

Mathlib/RingTheory/KrullDimension/Basic.lean

feat(RingTheory): Artinian rings over Jacobson rings (#21904)

Added nilradical_le_jacobson View on Github →