Theorem Ring.jacobson_le_of_isMaximal

Modification history

2026-01-22 07:06
Mathlib/RingTheory/Jacobson/Radical.lean
feat(RingTheory/KrullDimension): generalize some results about local rings (#27557) …
Added Ring.jacobson_le_of_isMaximalView on Github →