Theorem IsArtinianRing.primeSpectrumEquivMaximalSpectrum_comp_asIdeal

Modification history

2025-01-23 19:32
Mathlib/RingTheory/Artinian/Module.lean
feat(RingTheory/Artinian): rewrite results using spectra types instead of sets (#20828) …
Added IsArtinianRing.primeSpectrumEquivMaximalSpectrum_comp_asIdealView on Github →