Theorem PrimeSpectrum.denseRange_comap_iff_ker_le_nilRadical

Modification history