Theorem PrimeSpectrum.isHomeomorph_comap_of_bijective

Modification history