Theorem PrimeSpectrum.comap_quotientMk_bijective_of_le_nilradical

Modification history