src/HOL/Integ/IntDiv.thy
changeset 20192 956cd30ef3be
parent 18984 4301eb0f051f
child 20485 3078fd2eec7b