Theorem PrimeSpectrum.zeroLocus_nilradical

Modification history