src/HOL/Old_Number_Theory/Primes.thy
changeset 54381 9c1f21365326
parent 53077 a1b3784f8129
child 57512 cc97b347b301