Theorem PrimeSpectrum.sigmaToPi_not_surjective_of_infinite

Modification history