Theorem IsArtinianRing.isPrime_iff_isMaximal

Modification history

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.isPrime_iff_isMaximalView on Github →