Theorem PrimeSpectrum.isBasis_basic_opens

Modification history