Theorem PrimeSpectrum.nontrivial

Modification history