Metamath Proof Explorer

Table of Contents - 21.3.5.5. Extended nonnegative integers - misc additions

1. xnn0gt0
2. xnn01gt
3. nn0xmulclb
4. xnn0nn0d
5. xnn0nnd