Def MaximalSpectrum.toPrimeSpectrum

Modification history