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)

Estimated changes