Theorem ProjectiveSpectrum.basicOpen_pow

Modification history