Theorem PrimeSpectrum.discreteTopology_iff_finite_isMaximal_and_sInf_le_nilradical

Modification history