Theorem PrimeSpectrum.basicOpen_mul_le_left

Modification history