src/HOL/Divides.thy
changeset 11008 f7333f055ef6
parent 10789 260fa2c67e3e
child 12338 de0f4a63baa5