src/HOL/Library/Nat_Bijection.thy
changeset 49322 fbb320d02420
parent 41959 b460124855b8
child 51414 587f493447d9