Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsArtinianRing.maximal_ideals_finite
Modification history
2025-01-23 19:32
Mathlib/RingTheory/Artinian/Module.lean
feat(RingTheory/Artinian): rewrite results using spectra types instead of sets (#20828) …
Deleted
IsArtinianRing.maximal_ideals_finite
View on Github →
2023-12-20 19:25
Mathlib/RingTheory/Artinian.lean
feat(RingTheory/Artinian): the collection of maximal ideals in an artinian ring is finite (#9087) …
Added
IsArtinianRing.maximal_ideals_finite
View on Github →