Theorem ProjectiveSpectrum.mem_basicOpen

Modification history