Theorem PrimeSpectrum.zeroLocus_ideal_mem_irreducibleComponents

Modification history