Add NN+oo examples
Add NN+oo examples

These are cases where we show the mapping of particular elements of NN0*
to elements of NN+oo .

The theorems are 0tonninf , 1tonninf , and inftonninf .

metamath/set.mm,metamath/set.mm,metamath/set.mm