src/HOL/Nat_Transfer.thy
changeset 51474 1e9e68247ad1
parent 51299 30b014246e21
child 57418 6ab1c7cb0b8d