Def PrimeSpectrum.ConstructibleSetData.degBound

Modification history