Theorem IsLocalization.subsingleton_primeSpectrum_of_mem_minimalPrimes

Modification history