Theorem PrimeSpectrum.isTopologicalBasis_basic_opens

Modification history