Theorem PrimeSpectrum.zeroLocus_subset_zeroLocus_iff

Modification history