src/HOL/Divides.thy
changeset 7584 5be4bb8e4e3f
parent 7029 08d4eb8500dd
child 8902 a705822f4e2a