Def PrimeSpectrum.homeomorphOfRingEquiv

Modification history