Theorem PrimeSpectrum.asIdeal_le_asIdeal

Modification history