Commit 2024-05-23 03:28 6f3c4d71
View on Github →Feat(RingTheory/Ideal/LocalRing): Maximal ideal of local ring is contained in the jacobson radical of any ideal (#13120) Maximal ideal of local ring is contained in the jacobson radical of any ideal.
Feat(RingTheory/Ideal/LocalRing): Maximal ideal of local ring is contained in the jacobson radical of any ideal (#13120) Maximal ideal of local ring is contained in the jacobson radical of any ideal.