Theorem MaximalSpectrum.toPrimeSpectrum_injective

Modification history