Theorem PrimeSpectrum.isHomeomorph_comap_tensorProductMap_of_isPurelyInseparable

Modification history