data.nat.pairing
source
Pairing function for the natural numbers.
Unpairing function for the natural numbers.