Theorem ProjectiveSpectrum.basicOpen_mul

Modification history