Theorem PrimeSpectrum.zeroLocus_singleton_one

Modification history