Theorem PrimeSpectrum.range_asIdeal

Modification history