Theorem PrimeSpectrum.BasicConstructibleSetData.map_comp'

Modification history