primes p where (p-1)/2 is prime too are called "safe"; we define this for backward compatibility:
See Source File
primes p where (p-1)/2 is prime too are called "safe"; we define this for backward compatibility: