**Description:** A real number is a complex number. (Contributed by NM, 1-Mar-1995)

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

Hypothesis | recni.1 | $${\u22a2}{A}\in \mathbb{R}$$ | |

Assertion | recni | $${\u22a2}{A}\in \u2102$$ |

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

1 | recni.1 | $${\u22a2}{A}\in \mathbb{R}$$ | |

2 | ax-resscn | $${\u22a2}\mathbb{R}\subseteq \u2102$$ | |

3 | 2 1 | sselii | $${\u22a2}{A}\in \u2102$$ |