Def ProjectiveSpectrum.basicOpen

Modification history