src/HOL/Library/Nat_Int_Bij.thy
changeset 35115 446c5063e4fd
parent 32960 69916a850301