Commit 2024-01-01 07:00 f3a26801
View on Github →feat(AlgebraicGeometry/PrimeSpectrum/*) : the collection of minimal prime ideals of a Noetherian ring is finite (#9088) Co-PR : #9087 (maximal ideals of Artinian ring are finite)
feat(AlgebraicGeometry/PrimeSpectrum/*) : the collection of minimal prime ideals of a Noetherian ring is finite (#9088) Co-PR : #9087 (maximal ideals of Artinian ring are finite)