src/HOL/Divides.thy
changeset 55415 05f5fdb8d093
parent 55414 eab03e9cee8a
child 55440 721b4561007a