Theorem PrimeSpectrum.BasicConstructibleSetData.map_comp

Modification history