Theorem PrimeSpectrum.basicOpen_le_basicOpen_iff_algebraMap_isUnit

Modification history