Theorem PrimeSpectrum.isHomeomorph_comap

Modification history