Description: _pi is a complex number. (Contributed by David A. Wheeler, 6-Dec-2018)
Ref | Expression | ||
---|---|---|---|
Assertion | picn | $${\u22a2}\mathrm{\pi}\in \u2102$$ |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | pire | $${\u22a2}\mathrm{\pi}\in \mathbb{R}$$ | |
2 | 1 | recni | $${\u22a2}\mathrm{\pi}\in \u2102$$ |