Theorem ProjectiveSpectrum.basicOpen_mul_le_left

Modification history