coq/doc/changelog/10-standard-library/14008-Cantor-pairing.rst, branch master

coq/doc/changelog/10-standard-library/14008-Cantor-pairing.rst, branch master The formal proof system add Cantor pairing to_nat and its inverse of_nat 2021-04-02T15:24:12+00:00 Andrej Dudenhefner 2021-03-25T17:19:12+00:00 2b02934f003836133d194d29f6a32c289280263c add polynomial specifications of to_nat add changelog and doc entries

add polynomial specifications of to_nat
add changelog and doc entries