**Description:** An integer is a complex number. (Contributed by Mario Carneiro, 28-May-2016)

Ref | Expression | ||
---|---|---|---|

Hypothesis | zred.1 | $${\u22a2}{\phi}\to {A}\in \mathbb{Z}$$ | |

Assertion | zcnd | $${\u22a2}{\phi}\to {A}\in \u2102$$ |

Step | Hyp | Ref | Expression |
---|---|---|---|

1 | zred.1 | $${\u22a2}{\phi}\to {A}\in \mathbb{Z}$$ | |

2 | 1 | zred | $${\u22a2}{\phi}\to {A}\in \mathbb{R}$$ |

3 | 2 | recnd | $${\u22a2}{\phi}\to {A}\in \u2102$$ |