Theorem IsArtinianRing.primeSpectrum_asIdeal_range_eq

Modification history