pairing function

function which encodes two natural numbers into a single natural number

Categorias: