Theorem PrimeSpectrum.isIrreducible_zeroLocus_iff_of_radical

Modification history