Def IsArtinianRing.primeSpectrumEquivMaximalSpectrum

Modification history