Theorem ProjectiveSpectrum.isTopologicalBasis_basic_opens

Modification history