Theorem PrimeSpectrum.specComap_comp

Modification history