src/HOL/Library/Signed_Division.thy
changeset 76371 1ac2416e8432
parent 76232 a7ccb744047b
child 77811 ae9e6218443d