src/HOL/Divides.thy
changeset 24612 d1b315bdb8d7
parent 24286 7619080e49f0
child 24748 ee0a0eb6b738