src/HOL/Library/Nat_Bijection.thy
changeset 54863 82acc20ded73
parent 51489 f738e6dbd844
child 57512 cc97b347b301