src/HOL/Number_Theory/Eratosthenes.thy
changeset 82824 7ddae44464d4
parent 82774 2865a6618cba