Commit 2025-01-23 19:32 ab9317ed
View on Github →feat(RingTheory/Artinian): rewrite results using spectra types instead of sets (#20828)
Rewrite results about artinian rings using MaximalSpectrum
and PrimeSpectrum
instead of sets {I | I.IsMaximal}
and {I | I.IsPrime}
.