Theorem PrimeSpectrum.nonempty_iff_nontrivial

Modification history