Description: A nonnegative integer is a complex number. (Contributed by NM, 14-May-2003) Reduce dependencies on axioms. (Revised by Steven Nguyen, 8-Oct-2022)
Ref | Expression | ||
---|---|---|---|
Hypothesis | nn0rei.1 | |
|
Assertion | nn0cni | |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | nn0rei.1 | |
|
2 | nn0sscn | |
|
3 | 2 1 | sselii | |