src/ZF/Arith.thy
changeset 60095 35f626b11422
parent 58871 c399ae4b836f
child 60770 240563fbf41d