Theorem PrimeSpectrum.primeSpectrumProd_symm_inr_asIdeal

Modification history