Theorem PrimeSpectrum.ConstructibleSetData.map_comp

Modification history