Theorem PrimeSpectrum.zeroLocus_subset_zeroLocus_singleton_iff

Modification history