Theorem PrimeSpectrum.ConstructibleSetData.toSet_map

Modification history