Theorem PrimeSpectrum.isIrreducible_zeroLocus_iff

Modification history