Theorem PrimeSpectrum.t1Space_iff_isField

Modification history