src/HOL/Divides.thy
changeset 51692 ecd34f863242
parent 51299 30b014246e21
child 51717 9e7d1c139569