src/ZF/Arith.thy
changeset 38980 af73cf0dc31f
parent 35762 af3ff2ba4c54
child 45608 13b101cee425