src/HOL/Divides.thy
changeset 24728 e2b3a1065676
parent 24286 7619080e49f0
child 24748 ee0a0eb6b738