src/HOL/Integ/IntDiv.thy
changeset 21588 cd0dc678a205
parent 21409 6aa28caa96c5
child 22026 cc60e54aa7cb