pairing_function

https://github.com/spmarisa/pairing_function

Any pairing function can be used in set theory to prove that integers and rational numbers have the same cardinality as natural numbers.