Theorem PrimeSpectrum.comap_comp_apply

Modification history