Theorem ProjectiveSpectrum.basicOpen_zero

Modification history