Theorem ProjectiveSpectrum.mem_coe_basicOpen

Modification history