Theorem PrimeSpectrum.basicOpen_eq_zeroLocus_of_mul_add

Modification history