Theorem PrimeSpectrum.gc

Modification history