Theorem PrimeSpectrum.asIdeal_lt_asIdeal

Modification history