Theorem PrimeSpectrum.comap_comp

Modification history