Theorem PrimeSpectrum.preimage_specComap_zeroLocus

Modification history