Theorem PrimeSpectrum.zeroLocus_singleton_mul

Modification history