src/HOL/Divides.thy
changeset 65210 8cfdf420b643
parent 64848 c50db2128048
child 65556 fcd599570afa
equal deleted inserted replaced
65209:eb89ad5ae115 65210:8cfdf420b643