Primeshard
0:00.0

What is the 'Pratt certificate' for a prime pp?