src/HOL/Old_Number_Theory/Euler.thy
changeset 33963 977b94b64905
parent 32479 521cc9bf2958
child 35544 342a448ae141