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)

Estimated changes