Theorem ProjectiveSpectrum.isOpen_basicOpen

Modification history