Theorem PrimeSpectrum.residueField_specComap

Modification history