Theorem PrimeSpectrum.nontrivial_iff_mem_rangeComap

Modification history