Theorem PrimeSpectrum.exists_primeSpectrum_prod_le

Modification history