src/HOL/NumberTheory/IntPrimes.thy
changeset 24728 e2b3a1065676
parent 24181 102ebceaa495
child 24759 b448f94b1c88