Theorem PrimeSpectrum.isEmpty_iff_subsingleton

Modification history