Theorem IsArtinianRing.primeSpectrumEquivMaximalSpectrum_symm_comp_asIdeal

Modification history