src/HOL/Euclidean_Division.thy
changeset 69260 0a9688695a1b
parent 68536 e14848001c4c
child 69593 3dda49e08b9d
equal deleted inserted replaced
69259:438e1a11445f 69260:0a9688695a1b