Theorem PrimeSpectrum.zeroLocus_singleton_pow

Modification history