src/HOL/Nat_Transfer.thy
changeset 52435 6646bb548c6b
parent 51299 30b014246e21
child 57418 6ab1c7cb0b8d