Theorem PrimeSpectrum.stableUnderSpecialization_image_iff

Modification history