Theorem PrimeSpectrum.BasicConstructibleSetData.toSet_map

Modification history