This is an old revision of the document!


Complex number

Definition

$ \mathbb C $
| $ ... $ |

Ramifications

Satisfies

Definitions

We write $\mathfrak R(z)$ and $\mathfrak I(z)$ for real and imaginary part of $z$.

Predicates

Reference

Wikipedia: Complex number

Mizar: NUMBERS, XCMPLX_0

Context

Set

Parents

Link to graph
Log In
Improvements of the human condition