Theorem MaximalSpectrum.toPrimeSpectrum_range

Modification history