src/HOL/Old_Number_Theory/Euler.thy
changeset 38819 71c9f61516cd
parent 38159 e9b4835a54ee
child 40786 0a54cfc9add3