Metamath Proof Explorer

Table of Contents - 21.52.6.11. Nonnegative integers (as a subset of complex numbers) - extension

1. nn0resubcl