Commit 2023-12-20 19:25 96436702
View on Github →feat(RingTheory/Artinian): the collection of maximal ideals in an artinian ring is finite (#9087) Co-PR: #9088 (minimal prime ideals in Noetherian ring are finite)
feat(RingTheory/Artinian): the collection of maximal ideals in an artinian ring is finite (#9087) Co-PR: #9088 (minimal prime ideals in Noetherian ring are finite)