src/HOL/Arith.thy
changeset 6349 f7750d816c21
parent 5183 89f162de39cf
child 8929 4829556a56f8