Theorem PrimeSpectrum.isHomeomorph_comap_of_isPurelyInseparable

Modification history