Theorem IsArtinianRing.primeSpectrum_finite

Modification history