Theorem PrimeSpectrum.zeroLocus_eq_basicOpen_of_mul_add

Modification history