Definitions DiscreteMath Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
The function next_nat_pair   is used to step from pair to pair, with the intention of enumerating them all starting from <0,0>.

<0,0> <0,1> <1,0> <0,2> <1,1> <2,0> <0,3> <1,2> <2,1> <3,0> <0,4> <1,3> <2,2>

(Add a pair)

About:
pairproductnatural_numberfunctionmember
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Definitions DiscreteMath Sections DiscrMathExt Doc