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}.

Estimated changes