Theorem PrimeSpectrum.preimage_specComap_zeroLocus_aux

Modification history