Theorem PrimeSpectrum.specComap_comp_apply

Modification history